@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",
}