Kytölä, K. (2025). Virasoro algebra and Sugawara constructions formally in Lean.
Cita Chicago Style (17a ed.)Kytölä, Kalle. Virasoro Algebra and Sugawara Constructions Formally in Lean. 2025.
Cita MLA (9a ed.)Kytölä, Kalle. Virasoro Algebra and Sugawara Constructions Formally in Lean. 2025.
Precaución: Estas citas no son 100% exactas.