Aide à la recherche
Requête :
"preuve par ordinateur"
Nouvelle recherche
dans
les fiches
la liste des mots-clés
la liste des auteurs
les notices du glossaire
Afficher les fiches par
20
50
100
11 fiches trouvées
1
2017 Bulletin de l'APMEP. N° 523. p. 259-265. Les problèmes de l'APMEP.
2
2015 Bibliothèque Tangente. N° 55. La démonstration automatique : un enjeu crucial. p. 130-131.
3
2013 Bulletin de l'APMEP. N° 503. p. 166-180. Mastermind : Des preuves par ordinateur.
4
2011 Bulletin de l'APMEP. N° 492. p. 43-61. Que faire avec un tableur formel au collège et au lycée ?
5
2010 Mathématice. N° 22. Que faire avec un tableur formel au collège et au lycée ?
6
2008 Accromath. N° 3. Hiver-printemps 2008. p. 22-25. Preuves et certitudes.
7
2002 Bulletin de l'APMEP. N° 442. p. 602-612. Les ordinateurs mathématiciens.
8
1992 Quadrature. N° 11. p. 5-12. Quelle est la meilleure preuve ?
9
1979 L'Ouvert. N° 17. p. 3-7. La preuve par ordinateur.
10
1979 L'Ouvert. N° 17.
11
1977 Quelques apports de l'informatique à l'enseignement des mathématiques.