A computation of the Ninth Dedekind Number using FPGA Supercomputing

From MaRDI portal
Dataset:6722934



DOI10.5281/zenodo.10579803Zenodo10579803MaRDI QIDQ6722934FDOQ6722934

Dataset published at Zenodo repository.

Michael Laß, Christian Plessl, Lennart van Hirtum, Tobias Kenter, Jens Goemaere, Heinrich Riebler, Patrick De Causmaecker

Publication date: 29 January 2024

Copyright license: Creative Commons Attribution 4.0 International



This dataset contains the full dataset for the computation of the 9th dedekind number as mentioned in https://arxiv.org/abs/2304.03039It's a tar.gz containing 5 files:firstRunBetaSums7.u128flatClassInfo7.classInfoflatMBFs7.mbfflatNodes7.flatNodesmbfStructure7.mbfStructurethe first file has the data points computed over the FPGA supercomputing run, each of which can be verified with the CPU code. The other files are the data that's necessary to do this, and could be generated on their own. They are included for consistency of the order within.







This page was built for dataset: A computation of the Ninth Dedekind Number using FPGA Supercomputing