Andrea Asperti, Herman Geuvers, Iris Loeb, Lionel Elie Mamane, Claudio Sacerdoti Coen. An Interactive Algebra Course with Formalised Proofs and Definitions. In Michael Kohlhase, editor, Mathematical Knowledge Management, 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers. Volume 3863 of Lecture Notes in Computer Science, pages 315-329, Springer, 2005. [doi]
Abstract is missing.