The DOI displayed above is for this specific version of this dataset, which is currently the latest. Newer versions may be published in the future. For a link that will always point to the latest version, please use
DOI: 10.4121/74ce1c25-6fca-4680-8a36-e9c18e7e9594

de Laat, David; Leijenhorst, Nando; de Muinck Keizer, Willem (2024): Data for "Optimality and uniqueness of the D_4 root system". Version 1. 4TU.ResearchData. dataset. https://doi.org/10.4121/74ce1c25-6fca-4680-8a36-e9c18e7e9594.v1

Usage statistics

Categories

• Mathematical Sciences

Keywords

24-cell Kissing number problem Lasserre hierarchy semidefinite programming Stiefel harmonics

Licence

MIT

Interoperability

• RO-Crate Metadata

Export as...

RefWorks BibTeX Reference Manager Endnote DataCite NLM DC CFF

by David de Laat, Nando Leijenhorst, Willem de Muinck Keizer

Data files accompanying the paper "Optimality and uniqueness of the D_4 root system". Contains both the source code (as a Julia package) and the data files for verifying the proofs. A file README.txt with instructions is included.

History

• 2024-04-30 first online, published, posted

Publisher

4TU.ResearchData

References

• https://doi.org/10.48550/arXiv.2404.18794

Organizations

TU Delft, Faculty Electrical Engineering, Mathematics and Computer Science, Delft Institute of Applied Mathematics