2015 Bibliothèque Tangente. N° 55. Prouver rapidement qu’une propriété est vérifiée… ou pas. p. 132-133.
Auteur : Blanchard Nicolas K.
preuve assistée par ordinateur
Il y a 34 résultats avec cette recherche.
-
-
2007 Mathematice. N° 7. Le calcul algébrique au premier trimestre de Première S.
Auteur : Lagrange Jean-Baptiste
-
1977 Quelques apports de l’informatique à l’enseignement des mathématiques.
Auteurs : APMEP Commission Informatique ; Deledicq André. Dir.
-
2014 Tangente Hors-série. N° 52. p. 34-36. Démonstration : l’ordinateur à la rescousse.
Auteur : Filliâtre Jean-Christophe
-
2014 Bibliothèque Tangente. N° 52. Démonstration : l’ordinateur à la rescousse. p. 76-79.
Auteur : Filliâtre Jean-Christophe
-
2015 Bibliothèque Tangente. N° 55. La démonstration automatique : un enjeu crucial. p. 130-131.
Auteur : Nguyen Le Than Dung
-
1979 L’Ouvert. N° 17. p. 3-7. La preuve par ordinateur.
Auteurs : Cartier Pierre ; Martinet Jean
-
2017 Quadrature. N° 103. p. 11-17. Un jeu vidéo pour adultes et une thématique HoTT !
Auteur : Alvarez Aurélien
-
2002 Quadrature. N° 45. p. 25-36. Apprentissage du raisonnement assisté par ordinateur.
Auteurs : Raffalli Christophe ; David René
-
1984 Bulletin de l’APMEP. N° 344. p. 383-389. Infor »math »ique. Chic et toc ?
Auteur : Boule François