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

dans Afficher les fiches par  
29 fiches trouvées Réponses 1 à 20 Suivant Fin

12019 Bibliothèque Tangente. N° 68. Les preuves par ordinateur. p. 122-126.
22019 Bibliothèque Tangente. N° 68. Intelligence artificielle.
32018 Tangente Hors-série. N° 68. Intelligence artificielle.
42018 Tangente Hors-série. N° 68. p. 28-30. Les preuves par ordinateur.
52017 Quadrature. N° 103. p. 11-17. Un jeu vidéo pour adultes et une thématique HoTT !Ressource en ligne
62015 Bibliothèque Tangente. N° 55. Le "petit" théorème PCP. p. 148-151.
72015 Bibliothèque Tangente. N° 55. Comment prouver son identité. p. 134-136.
82015 Bibliothèque Tangente. N° 55. Réduire la taille d'une preuve. p. 152-155.
92015 Bibliothèque Tangente. N° 55. La démonstration automatique : un enjeu crucial. p. 144-147.
102015 Bibliothèque Tangente. N° 55. Une preuve de maths est un programme informatique ! p. 138-142.
112015 Bibliothèque Tangente. N° 55. Les démonstrations.
122015 Bibliothèque Tangente. N° 55. La démonstration automatique : un enjeu crucial. p. 130-131.
132015 Bibliothèque Tangente. N° 55. Prouver rapidement qu'une propriété est vérifiée... ou pas. p. 132-133.
142014 Bibliothèque Tangente. N° 52. Démonstration : l'ordinateur à la rescousse. p. 76-79.
152014 Bibliothèque Tangente. N° 52. Mathématiques et informatique.
162014 Tangente Hors-série. N° 52. L'informatique riche des maths.
172014 Tangente Hors-série. N° 52. p. 34-36. Démonstration : l'ordinateur à la rescousse.
182009 Mathématice. N° 17. Construire avec GeoGebra puis démontrer avec Exogéo.Ressource en ligne
192009 Mathématice. N° 14. La démonstration géométrique revisitée avec Exogéo.Ressource en ligne
202007 Mathematice. N° 7. Le calcul algébrique au premier trimestre de Première S.Ressource en ligne