Connecting proof checkers and computer algebra using OpenMath

O. Caprotti, A.M. Cohen

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

2 Citaten (Scopus)
Originele taal-2Engels
TitelTheorem Proving in Higher Order Logics (Proceedings TPHOLs'99, Nice, France, September 14-17, 1999)
RedacteurenY. Bertot, G. Dowek, A. Hirschowitz, C. Paulin
Plaats van productieBerlin
UitgeverijSpringer
Pagina's109-112
ISBN van geprinte versie3-540-66463-7
StatusGepubliceerd - 1999

Publicatie series

NaamLecture Notes in Computer Science
Volume1690
ISSN van geprinte versie0302-9743

Citeer dit

Caprotti, O., & Cohen, A. M. (1999). Connecting proof checkers and computer algebra using OpenMath. In Y. Bertot, G. Dowek, A. Hirschowitz, & C. Paulin (editors), Theorem Proving in Higher Order Logics (Proceedings TPHOLs'99, Nice, France, September 14-17, 1999) (blz. 109-112). (Lecture Notes in Computer Science; Vol. 1690). Springer.