Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372

Notice: Unexpected clearActionName after getActionName already called in /var/www/html/w/includes/Context/RequestContext.php on line 321
A computation of the Ninth Dedekind Number using FPGA Supercomputing - MaRDI portal

Deprecated: Use of MediaWiki\Skin\SkinTemplate::injectLegacyMenusIntoPersonalTools was deprecated in Please make sure Skin option menus contains `user-menu` (and possibly `notifications`, `user-interface-preferences`, `user-page`) 1.46. [Called from MediaWiki\Skin\SkinTemplate::getPortletsTemplateData in /var/www/html/w/includes/Skin/SkinTemplate.php at line 691] in /var/www/html/w/includes/Debug/MWDebug.php on line 372

Deprecated: Use of MediaWiki\Skin\BaseTemplate::getPersonalTools was deprecated in 1.46 Call $this->getSkin()->getPersonalToolsForMakeListItem instead (T422975). [Called from Skins\Chameleon\Components\NavbarHorizontal\PersonalTools::getHtml in /var/www/html/w/skins/chameleon/src/Components/NavbarHorizontal/PersonalTools.php at line 66] in /var/www/html/w/includes/Debug/MWDebug.php on line 372

Deprecated: Use of QuickTemplate::(get/html/text/haveData) with parameter `personal_urls` was deprecated in MediaWiki Use content_navigation instead. [Called from MediaWiki\Skin\QuickTemplate::get in /var/www/html/w/includes/Skin/QuickTemplate.php at line 131] in /var/www/html/w/includes/Debug/MWDebug.php on line 372

A computation of the Ninth Dedekind Number using FPGA Supercomputing

From MaRDI portal
(Redirected from Dataset:6722934)



DOI10.5281/zenodo.10579803Zenodo10579803MaRDI QIDQ6722934

Dataset published at Zenodo repository.

Author name not available (Why is that?)

Publication date: 29 January 2024

Copyright license: No records found.



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