Description : Méthode de résolution automatique des exercices de géométrie euclidienne (cercles, coniques, sphères). Théorèmes nouveaux, multi- produit scalaire et multi-rapport, prover. Cours téléchargeable. Ajouté le : le 2007-10-21 Url : http://passerelle.u-bourgogne.fr/publications/webeuclide/ Lien : La géométrie euclidienne par l'informatique