1. Analytica — an experiment in combining theorem proving and symbolic computation;Bauer;Journal of Automated Reasoning,1998
2. Mathpert: a computerized environment for learning algebra, trigonometry, and calculus;Beeson;Journal of Artificial Intelligence and Education,1990
3. An Introduction to PC Mizar;Bonarska,1990
4. Decision algorithms for some fragments of analysis and related areas;Cantone;Communications on Pure and Applied Mathematics,1987
5. Notes from the logbook of a proof-checker’s project;Cantone,2003