A computation of the ninth Dedekind number
Christian Jäkel · Journal of Computational Algebra · 2023
In this article, we present an algorithm to compute the 9th Dedekind number: 286386577668298411128469151667598498812366. The key aspects are the use of matrix multiplication and symmetries in the free distributive lattice, that are determined with techniques from Formal Concept Analysis.