Mots-clés – Auteurs

démonstration par ordinateur

Il y a 4 résultats pour cette recherche

2009 Mathématice. N° 17. Construire avec GeoGebra puis démontrer avec Exogéo.
Auteur : Faucheu Hugues
2009 Mathématice. N° 14. La démonstration géométrique revisitée 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