Published October 15, 2026
| Version 1.0.0
Dataset
Open
The fifth virial coefficient of hard spheres: supplementary material
Description
This Supplement accompanies the papers The fifth virial coefficient of hard spheres (doi:10.5281/zenodo.23364646) and The fifth virial coefficient of hard spheres: complete proofs and computations (doi:10.5281/zenodo.23364648). It contains programs, input data, recorded outputs and exact certificates cited in the two papers, and the archive of the Lean formalization (a partial formalization of 96 geometric statements; the fifth virial coefficient b5 itself is not formalized). The reproduction archive is split into parts of at most 200 MiB; README.md gives the reassembly command and checksums. Licences: CC BY 4.0 for the papers and the original Supplement material; the Lean archive keeps its MIT licence.
Files
Na_fifth-virial-coefficient-hard-spheres-supplement_v1.0.0.pdf
Files
(1.1 GB)
| Name | Size | |
|---|---|---|
|
md5:fb828fb5456b4ca61b072b3113479516
|
2.0 MB | Preview Download |
|
md5:3ea63b5eeb85978eb453f54fe4ecb0ca
|
209.7 MB | Download |
|
md5:af2554a80937ddcbf1da3eea4a0a1d62
|
209.7 MB | Download |
|
md5:f8655a04f3d640df5a680a701652a4ad
|
209.7 MB | Download |
|
md5:45e49ac9f6dfbf39b49556acb3f7cea0
|
209.7 MB | Download |
|
md5:6f30738670a8fade68f31bc48f89c338
|
209.7 MB | Download |
|
md5:8bee8bd1e345db8afdabe112d807ec94
|
21.5 MB | Download |
|
md5:79c94531382621593840ee47dabd7ed3
|
61.8 kB | Preview Download |
|
md5:58ceabd0ca232682fc7f4f09bb2d6a12
|
27.7 kB | Preview Download |
Additional details
Related works
- Is supplement to
- 10.5281/zenodo.23364646 (DOI)
- 10.5281/zenodo.23364648 (DOI)