2 citations · 2 across the 4 of their papers we have counts for
4 papers
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…
Formalizing dimensional analysis using the Lean theorem prover
Maxwell P. Bobbin, Colin Jones, John Velkey +1
Dimensional analysis is fundamental to the formulation and validation of physical laws, ensuring that equations are dimensionally homogeneous and scientifically meaningful. In this…
Benchmarking Energy Calculations Using Formal Proofs
Ejike D. Ugwuanyi, Colin T. Jones, John Velkey +1
Traditional approaches for validating molecular simulations rely on making software open source and transparent, incorporating unit testing, and generally employing human oversight…
Quantum Variational Rewinding for Time Series Anomaly Detection
Jack S. Baker, Haim Horowitz, Santosh Kumar Radha +6
Electron dynamics, financial markets and nuclear fission reactors, though seemingly unrelated, all produce observable characteristics evolving with time. Within this broad scope, d…