1. Ag-Almouloud, S.: L’ordinateur, outil d’aide à l’apprentissage de la démonstration et de traitement de données didactiques. Ph.D. thesis, Université de Rennes (1992)
2. Amerkad, A., Bertot, Y., Pottier, L., Rideau, L.: Mathematics and proof presentation in Pcoq. In: Workshop Proof Transformation and Presentation and Proof Complexities in connection with IJCAR 2001 (2001)
3. Anderson, J.R., Boyle, C.F., Yost, G.: The geometry tutor. In: IJCAI Proceedings, pp. 1–7 (1985)
4. Aspinall, D., Lüth, C., Winterstein, D.: A framework for interactive proof. Technical report (2004)
5. Baader, F., Nipkow, T.: Term Rewriting and All That. Cambridge University Press, New York (1998)