Accueil Publimath  Aide à la recherche  Requête : "démonstration par ordinateur"
Certification IDDN Valid HTML 4.01 Transitional

dans Afficher les fiches par  
4 fiches trouvées

12009 Mathématice. N° 17. Construire avec GeoGebra puis démontrer avec Exogéo.Ressource en ligne
22009 Mathématice. N° 14. La démonstration géométrique revisitée avec Exogéo.Ressource en ligne
32008 Accromath. N° 3. Hiver-printemps 2008. p. 22-25. Preuves et certitudes.Ressource en ligne
41993 Quadrature. N° 16. p. 45-52. Démonstration automatique en géométrie : une approche par l'algèbre.