@inproceedings{9b634631120c4afbb845cf219994d128,

title = "Connecting proof checkers and computer algebra using OpenMath",

author = "O. Caprotti and A.M. Cohen",

year = "1999",

language = "English",

isbn = "3-540-66463-7",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "109--112",

editor = "Y. Bertot and G. Dowek and A. Hirschowitz and C. Paulin",

booktitle = "Theorem Proving in Higher Order Logics (Proceedings TPHOLs'99, Nice, France, September 14-17, 1999)",

address = "Germany",

}