48 citations · 118 across the 21 of their papers we have counts for
1 paper · 2 filters
Christian Jäkel
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, w…