Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Van Hirtum, Lennart"'
We study systems of equations on antichains, together with a way to count the number of solutions. We start with two simple examples, generalise and show more applications. One of the results was used in the recent computation of D(9), the others hav
Externí odkaz:
http://arxiv.org/abs/2405.20904
Autor:
Van Hirtum, Lennart, De Causmaecker, Patrick, Goemaere, Jens, Kenter, Tobias, Riebler, Heinrich, Lass, Michael, Plessl, Christian
This preprint makes the claim of having computed the $9^{th}$ Dedekind Number. This was done by building an efficient FPGA Accelerator for the core operation of the process, and parallelizing it on the Noctua 2 Supercluster at Paderborn University. T
Externí odkaz:
http://arxiv.org/abs/2304.03039