2009 Mathématice. N° 14. La démonstration géométrique revisitée avec Exogéo.
Auteur : Faucheu Hugues
démonstration par ordinateur
Il y a 4 résultats avec cette recherche.
-
-
2009 Mathématice. N° 17. Construire avec GeoGebra puis démontrer avec Exogéo.
Auteur : Faucheu Hugues
-
2008 Accromath. N° 3. Hiver-printemps 2008. p. 22-25. Preuves et certitudes.
Auteur : Delahaye Jean-Paul
-
1993 Quadrature. N° 16. p. 45-52. Démonstration automatique en géométrie : une approche par l’algèbre.
Auteur : Roy Marie-Françoise