1. P. Bertoli, J. Calmet, F. Giunchiglia, and K. Homann. Specification and Integration of Theorem Provers and Computer Algebra Systems. In J. Calmet and J. Plaza, editors, Artificial Intelligence and Symbolic Computation: International Conference AISC'98, volume 1476 of Lecture Notes in Artificial Intelligence, Plattsburgh, New York, USA, September 1998.
2. Yves Bertot and Laurent Théry. A Generic Approach to Building User Interfaces for Theorem Provers. Journal of Symbolic Computation, 25:161–194, 1998.
3. Stephen Buswell, Stan Devitt, Angel Diaz, Bruce Smith, Neil Soiffer, Robert Sutor, Stephen Watt, Stéphane Dalmas, David Carlisle, Roger Hunter, and Ron Ausbrooks. Mathematical Markup Language (MathML) Version 2.0. W3C Working Draft 11 February 2000, February 2000. Available at http://www.w3.org/TR/2000/WD-MathML2-20000211/ .
4. O. Caprotti and M. Oostdijk. How to formally and efficiently prove prime(2999). In Proceedings of Calculemus 2000, St. Andrews, 2000.
5. [5] O. Caprotti and M. N. Riem. Server-side Presentation of OpenMath Documents using MathML. Submitted.