APA-Zitierstil (7. Ausg.)

Bobbin, M. P., Jones, C., Velkey, J., & Josephson, T. R. (2025). Formalizing dimensional analysis using the Lean theorem prover.

Chicago-Zitierstil (17. Ausg.)

Bobbin, Maxwell P., Colin Jones, John Velkey, und Tyler R. Josephson. Formalizing Dimensional Analysis Using the Lean Theorem Prover. 2025.

MLA-Zitierstil (9. Ausg.)

Bobbin, Maxwell P., et al. Formalizing Dimensional Analysis Using the Lean Theorem Prover. 2025.