5 citations · 6 across the 9 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2026
LeanBET: Formally-verified surface area calculations in Lean
Ejike D. Ugwuanyi, Colin T. Jones, John Velkey +1
The Brunauer--Emmett--Teller (BET) method is a standard tool for estimating surface areas from adsorption isotherms, yet practical implementations involve multiple algorithmic step…
cs.LO2025
Formal Verification of Isothermal Chemical Reactors
Parivash Feyzishendi, Sophia Hamer, Jinyu Huang +1
Chemical reactors are dynamic systems that can be described by systems of ordinary differential equations (ODEs). Reactor safety, regulatory compliance, and economics depend on whe…