Bobbin, M. P., Jones, C., Velkey, J., & Josephson, T. R. (2025). Formalizing dimensional analysis using the Lean theorem prover.
Style de citation Chicago (17e éd.)Bobbin, Maxwell P., Colin Jones, John Velkey, et Tyler R. Josephson. Formalizing Dimensional Analysis Using the Lean Theorem Prover. 2025.
Style de citation MLA (9e éd.)Bobbin, Maxwell P., et al. Formalizing Dimensional Analysis Using the Lean Theorem Prover. 2025.
Attention : ces citations peuvent ne pas être correctes à 100%.