cff-version: 1.2.0
abstract: "<p>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.</p>"
authors:
  - family-names: de Laat
    given-names: David
  - family-names: Leijenhorst
    given-names: Nando
  - family-names: de Muinck Keizer
    given-names: Willem
title: "Data for &#34;Optimality and uniqueness of the D_4 root system&#34;"
keywords:
version: 1
identifiers:
  - type: doi
    value: 10.4121/74ce1c25-6fca-4680-8a36-e9c18e7e9594.v1
license: MIT
date-released: 2024-04-30