Aide à la recherche   Requête : "preuve assistée par ordinateur"

34 fiches trouvées

Reponses 1 à 20

1	2019 Bibliothèque Tangente. N° 68. Intelligence artificielle.
2	2019 Bibliothèque Tangente. N° 68. Les preuves par ordinateur. p. 122-126.
3	2018 Tangente Hors-série. N° 68. Intelligence artificielle.
4	2018 Tangente Hors-série. N° 68. p. 28-30. Les preuves par ordinateur.
5	2017 Maths Langages express.
6	2017 Maths Langages express. Démonstrations automatiques assistées par ordinateur. p. 57-62.
7	2017 Quadrature. N° 103. p. 11-17. Un jeu vidéo pour adultes et une thématique HoTT !
8	2015 Bibliothèque Tangente. N° 55. Comment prouver son identité. p. 134-136.
9	2015 Bibliothèque Tangente. N° 55. La démonstration automatique : un enjeu crucial. p. 130-131.
10	2015 Bibliothèque Tangente. N° 55. La démonstration automatique : un enjeu crucial. p. 144-147.
11	2015 Bibliothèque Tangente. N° 55. Le "petit" théorème PCP. p. 148-151.
12	2015 Bibliothèque Tangente. N° 55. Les démonstrations.
13	2015 Bibliothèque Tangente. N° 55. Prouver rapidement qu'une propriété est vérifiée... ou pas. p. 132-133.
14	2015 Bibliothèque Tangente. N° 55. Réduire la taille d'une preuve. p. 152-155.
15	2015 Bibliothèque Tangente. N° 55. Une preuve de maths est un programme informatique ! p. 138-142.
16	2014 Bibliothèque Tangente. N° 52. Démonstration : l'ordinateur à la rescousse. p. 76-79.
17	2014 Bibliothèque Tangente. N° 52. Mathématiques et informatique.
18	2014 Tangente Hors-série. N° 52. L'informatique riche des maths.
19	2014 Tangente Hors-série. N° 52. p. 34-36. Démonstration : l'ordinateur à la rescousse.
20	2009 Mathématice. N° 14. La démonstration géométrique revisitée avec Exogéo.