6 results for “topic:dedekind-numbers”
This repository contains two implementations of the algorithm to compute the ninth Dedekind number. It utilizes matrix multiplication.
The 8 Dedekind N. on 51 minutes.
Inequivalent maximal antichains
C program what computes A132582. Extensible to any wide.
A132581 posets.
Dedekind numbers and today fastest computers.