7 citations · 8 across the 2 of their papers we have counts for
2 papers
math.CO2024★ 1 cited
Solving systems of equations on antichains for the computation of the ninth Dedekind Number
Patrick De Causmaecker, Lennart Van Hirtum
We study systems of equations on antichains, together with a way to count the number of solutions. We start with a simple example, generalise and show more applications. One of the…
cs.DM2023★ 7 cited
A computation of D(9) using FPGA Supercomputing
Lennart Van Hirtum, Patrick De Causmaecker, Jens Goemaere +4
This preprint makes the claim of having computed the Dedekind Number. This was done by building an efficient FPGA Accelerator for the core operation of the process, and pa…