×

Found 3 Documents (Results 1–3)

Newest Citations Relevance
Asperti, Andrea; Geuvers, Herman; Loeb, Iris; Mamane, Lionel Elie; Sacerdoti Coen, Claudio

An interactive algebra course with formalised proofs and definitions. (English) Zbl 1151.97300

Kohlhase, Michael (ed.), Mathematical knowledge management. 4th international conference, MKM 2005, Bremen, Germany, July 15-17, 2005. Revised selected papers. Berlin: Springer (ISBN 3-540-31430-X/pbk). Lecture Notes in Computer Science 3863. Lecture Notes in Artificial Intelligence, 315-329 (2006).
MSC:  97U40 68T30
Cite Review PDF
Full Text: DOI
Cairns, Paul; Gow, Jeremy

Literate proving: Presenting and documenting formal proofs. (English) Zbl 1151.68629

Kohlhase, Michael (ed.), Mathematical knowledge management. 4th international conference, MKM 2005, Bremen, Germany, July 15-17, 2005. Revised selected papers. Berlin: Springer (ISBN 3-540-31430-X/pbk). Lecture Notes in Computer Science 3863. Lecture Notes in Artificial Intelligence, 159-173 (2006).
MSC:  68T15 68T30
Cite Review PDF
Full Text: DOI
Asperti, Andrea; Guidi, Ferruccio; Sacerdoti Coen, Claudio; Tassi, Enrico; Zacchiroli, Stefano

A content based mathematical search engine: Whelp. (English) Zbl 1172.68623

Filliâtre, Jean-Christophe (ed.) et al., Types for proofs and programs. International workshop, TYPES 2004, Jouy-en-Josas, France, December 15–18, 2004. Revised selected papers. Berlin: Springer (ISBN 3-540-31428-8/pbk). Lecture Notes in Computer Science 3839, 17-32 (2006).
MSC:  68T35 68P20 68T15
Cite Review PDF
Full Text: DOI

Filter Results by …

all top 5

Author

Main Field

all top 3

Software