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

dans Afficher les fiches par  
34 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. p. 28-30. Les preuves par ordinateur.
42018 Tangente Hors-série. N° 68. Intelligence artificielle.
52017 Maths Langages express. Démonstrations automatiques assistées par ordinateur. p. 57-62.Ressource en ligne
62017 Maths Langages express.Ressource en ligne
72017 Quadrature. N° 103. p. 11-17. Un jeu vidéo pour adultes et une thématique HoTT !Ressource en ligne
82015 Bibliothèque Tangente. N° 55. La démonstration automatique : un enjeu crucial. p. 144-147.
92015 Bibliothèque Tangente. N° 55. Une preuve de maths est un programme informatique ! p. 138-142.
102015 Bibliothèque Tangente. N° 55. Réduire la taille d'une preuve. p. 152-155.
112015 Bibliothèque Tangente. N° 55. La démonstration automatique : un enjeu crucial. p. 130-131.
122015 Bibliothèque Tangente. N° 55. Le "petit" théorème PCP. p. 148-151.
132015 Bibliothèque Tangente. N° 55. Comment prouver son identité. p. 134-136.
142015 Bibliothèque Tangente. N° 55. Prouver rapidement qu'une propriété est vérifiée... ou pas. p. 132-133.
152015 Bibliothèque Tangente. N° 55. Les démonstrations.
162014 Bibliothèque Tangente. N° 52. Mathématiques et informatique.
172014 Bibliothèque Tangente. N° 52. Démonstration : l'ordinateur à la rescousse. p. 76-79.
182014 Tangente Hors-série. N° 52. L'informatique riche des maths.
192014 Tangente Hors-série. N° 52. p. 34-36. Démonstration : l'ordinateur à la rescousse.
202009 Mathématice. N° 14. La démonstration géométrique revisitée avec Exogéo.Ressource en ligne