A computation of the ninth Dedekind number
type: Item
instance of: scholarly article
title: A computation of the ninth Dedekind number
author: Christian D. Jäkel
published in: Journal of Computational Algebra
publication date: 2025-01-27T00:00:00Z
Mathematics Subject Classification ID: 68-XX
Mathematics Subject Classification ID: 15-XX
zbMATH DE Number: 7975268
zbMATH Keywords: Dedekind numbers
zbMATH Keywords: free distributive lattice
zbMATH Keywords: formal concept analysis
zbMATH Keywords: intervals
zbMATH Keywords: graph isomorphism
zbMATH Keywords: nauty
MaRDI profile type: Publication
cites work: Q4126378
cites work: Numerical analysis of certain free distributive structures.
cites work: Algorithms counting monotone Boolean functions
cites work: Q3671891
cites work: Q6136025
cites work: Q5060306
cites work: A computation of the eighth Dedekind number
DOI: 10.1016/J.JACA.2023.100006
description: scientific article; zbMATH DE number 7975268