References & Citations
Mathematics > Combinatorics
Title: A computation of the ninth Dedekind Number
(Submitted on 3 Apr 2023 (v1), last revised 5 Apr 2023 (this version, v2))
Abstract: In this article, we present an algorithm to compute the 9th Dedekind Number. The key aspects are the use of matrix multiplication and symmetries in the free distributive lattice, which are detected with techniques from Formal Concept Analysis.
Submission history
From: Christian Jäkel [view email][v1] Mon, 3 Apr 2023 11:32:44 GMT (31kb)
[v2] Wed, 5 Apr 2023 15:03:06 GMT (29kb)
Link back to: arXiv, form interface, contact.