Tooby-Smith, J. (2024). Formalization of physics index notation in Lean 4.
Citazione stile Chigago Style (17a edizione)Tooby-Smith, Joseph. Formalization of Physics Index Notation in Lean 4. 2024.
Citatione MLA (9a ed.)Tooby-Smith, Joseph. Formalization of Physics Index Notation in Lean 4. 2024.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.