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.
Workflow for investigating thermodynamic, structural and energy properties of condensed polymer systems from Molecular Dynamics
1 Pith paper cite this work. Polarity classification is still indexing.
abstract
Soft matter materials and polymers are widely used in the controlled delivery of drugs. Simulation and modeling provide insight at the atomic scale enabling a level of control unavailable to experiments. We present a workflow protocol for modeling, simulating, and analyzing structural and thermodynamic response properties of poly-lactic-co-glycolic acid (PLGA), a well-studied and FDA approved material. We concatenate a battery of molecular dynamics, computational chemistry, highly parallel scripting, and analysis tools for generating properties of bulk polymers in the condensed phase. We provide the workflow leading to the glass transition temperature, enthalpy, density, isobaric heat capacity, thermal expansion coefficient, isothermal compressibility, bulk modulus, sonic velocity, cohesive energy, and solubility parameters. Calculated properties agree very well with experiments, when available. This methodology has been extended to a variety of polymer types and environments.
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.