1990 Ecriture automatique de démonstrations en géométrie. Auteurs : Guillot Philippe ; Jolivet Luc ; Leperd Jean-Luc ; Moulin Claude
1993 DEM_AUTO : Logiciel d’aide Ă la conception et Ă la mise au point de dĂ©monstrations en gĂ©omĂ©trie. Auteurs : Jolivet Luc ; Leperd Jean-Luc ; Moulin Claude
