LeanLJ computes Lennard-Jones energies and long-range corrections in periodic boundaries using Lean 4, with proofs about the mathematical functions and numerical agreement with NIST SRSW benchmarks.
Accurate van der Waals force field for gas adsorption in porous materials
1 Pith paper cite this work, alongside 42 external citations. Polarity classification is still indexing.
1
Pith paper citing it
42
external citations · OpenAlex
fields
cond-mat.stat-mech 1years
2025 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Benchmarking Energy Calculations Using Formal Proofs
LeanLJ computes Lennard-Jones energies and long-range corrections in periodic boundaries using Lean 4, with proofs about the mathematical functions and numerical agreement with NIST SRSW benchmarks.