Formalizing dimensional analysis using the Lean theorem prover

Documenti analoghi

• LeanBET: Formally-verified surface area calculations in Lean
  di: Ugwuanyi, Ejike D., et al.
  Pubblicazione: (2026)
• Benchmarking Energy Calculations Using Formal Proofs
  di: Ugwuanyi, Ejike D., et al.
  Pubblicazione: (2025)
• Formally exact fluorescence spectroscopy simulations for mesoscale molecular aggregates with $N^0$ scaling
  di: Gera, Tarun, et al.
  Pubblicazione: (2025)
• Two-dimensional electronic spectroscopy in the condensed phase using equivariant transformer accelerated molecular dynamics simulations
  di: Kelly, Joseph, et al.
  Pubblicazione: (2025)
• Analysis of concentration polarization in reverse osmosis and nanofiltration: zero-, one-, and two-dimensional models
  di: Biesheuvel, P. M., et al.
  Pubblicazione: (2024)