1989 Annales de didactique et de sciences cognitives. V. 2. p. 89-109. Réflexions sur les logiciels d’aide à la démonstration en géométrie. Auteurs : Guin Dominique ; IREM de Strasbourg Groupe Intelligence Artificielle
