An interactive algebra course with formalised proofs and definitions

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3863 LNAI, Issue , 2006, Pages 315-329

  Asperti, Andrea ^a   Geuvers, Herman ^b   Loeb, Iris ^b   Mamane, Lionel Elie ^b   Coen, Claudio Sacerdoti ^c  

^a UNIVERSITY OF BOLOGNA   (Italy)

^b RADBOUD UNIVERSITY NIJMEGEN   (Netherlands)

^c CNRS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; KNOWLEDGE ACQUISITION; WORLD WIDE WEB;

FORMAL MATHEMATICS; WEB-BASED DIDACTIC MATERIAL; WEBTECHNOLOGY;

BOOLEAN ALGEBRA;

EID: 33745651108     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11618027_21     Document Type: Conference Paper

References (7)

1. A. Asperti, L. Padovani, C. Sacerdoti Coen, I. Schena. XML, Stylesheets and the remathemalization of Formal Content. Proceedings of "Extreme Markup Languages 2001 Conference", August 12-17, 2001, Montreal, Canada.
2. A. Asperti, L. Padovani, C. Sacerdoti Coen, F. Guidi, I. Schena. Mathematical Knowledge Management in HELM. Annals of Mathematics and Artificial Intelligence, 38(1): 27-46; May 2003.
3. A. Asperti, F. Guidi, C. Sacerdoti Coen, E. Tassi, S. Zacchiroli. A content based mathematical search engine: whelp. Submitted for publication.
4. A. Cohen, H. Cuypers, H. Sterk, Algebra Interactive!, Springer 1999.
5. L. Cruz-Filipe, H. Geuvers and F. Wiedijk, C-CoRN, the Constructive Coq Repository at Nijmegen. In: A. Asperti, G. Bancerek, A. Trybulec (eds.), Proceedings of MKM 2004, Springer LNCS 3119, 88-103, 2004.
6. E. Gimenez, Validation 2: Smart Card Security, MoWGLI deliverable, 2005.
7. P. Di Lena, Generazione automatica di stylesheet per notazione matematica, Master's thesis, University of Bologna, 2002.