Virasoro Project #
Source: url:https://doi.org/10.1017/CBO9780511626234
Authors: Kalle Kytölä
Status: verified
Main declarations: VirasoroProject.VirasoroAlgebra, VirasoroProject.sugawaraRepresentation
Tags: representation-theory, lie-algebras, mathematical-physics, virasoro-algebra
MSC: 17B68, 17B56, 81R10