A computation of D(9) using FPGA Supercomputing

MaRDI QIDQ6432305zbMATH OpenFDO

Authors Lennart Van Hirtum, Patrick De Causmaecker, Jens Goemaere, Tobias Kenter, Heinrich Riebler, Michael Lass, Christian Plessl

Publication date 6 April 2023

Has companion code repository https://github.com/vontum/dedekind

Abstract: 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. The resulting value is 286386577668298411128469151667598498812366. This value can be verified in two steps. We have made the data file containing the 490M results available, each of which can be verified separately on CPU, and the whole file sums to our proposed value.

This page was built for publication: A computation of D(9) using FPGA Supercomputing

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6432305)