Data for "Optimality and uniqueness of the D_4 root system"
收藏4TU.ResearchData2024-04-30 更新2026-04-23 收录
下载链接：
https://data.4tu.nl/datasets/74ce1c25-6fca-4680-8a36-e9c18e7e9594/1
下载链接
链接失效反馈官方服务：
资源简介：
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.
本数据集为论文《D₄根系统的最优性与唯一性》的配套数据文件，内含用于验证论文证明的源代码（以朱莉娅（Julia）语言包形式提供）及相关数据文件，同时附带了包含使用说明的README.txt文档。
提供机构：
de Laat, David; Leijenhorst, Nando; de Muinck Keizer, Willem
创建时间：
2024-04-30
