Pith. sign in

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

years

2025 1

verdicts

CONDITIONAL 1

representative citing papers

Benchmarking Energy Calculations Using Formal Proofs

cond-mat.stat-mech · 2025-05-14 · conditional · novelty 6.0

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.

citing papers explorer

Showing 1 of 1 citing paper.

  • Benchmarking Energy Calculations Using Formal Proofs cond-mat.stat-mech · 2025-05-14 · conditional · none · ref 2

    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.