Algebra Is Half the Battle: Verifying Presentations of Graded Unipotent Chevalley Groups.

Eric Wang, Arohee Bhoja, Cayden R. Codel, Noah G. Singer

Browse the full ITP paper archive.