Sacerdoti Coen, An Interactive Algebra Course with Formalised Proofs and Definitions (2006)

by A Asperti, H Geuvers, I Loeb, L Mamane, C
Venue:in: Proceedings of the Fourth Conference Mathematical Knowledge Management, MKM 2005 LNAI 3863