Connecting proof checkers and computer algebra using OpenMath

O. Caprotti, A.M. Cohen

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

4 Citations (Scopus)
Original languageEnglish
Title of host publicationTheorem Proving in Higher Order Logics (Proceedings TPHOLs'99, Nice, France, September 14-17, 1999)
EditorsY. Bertot, G. Dowek, A. Hirschowitz, C. Paulin
Place of PublicationBerlin
ISBN (Print)3-540-66463-7
Publication statusPublished - 1999

Publication series

NameLecture Notes in Computer Science
ISSN (Print)0302-9743

Cite this