1979 L’Ouvert. N° 17.
Auteur : IREM de Strasbourg L'Ouvert. Dir.
preuve par ordinateur
Il y a 12 résultats avec cette recherche.
-
-
1997 Faire des mathĂ©matiques avec l’ordinateur au lycĂ©e. T. 2
Auteurs : Dizambourg Bernard. Dir. ; Moisan Jacques. Préf.
-
2023 Au fil des maths. N° 547. p. 58-62. Démonstrations et programmes.
Auteur : Dacunha-Castelle Didier
-
2010 Mathématice. N° 22. Que faire avec un tableur formel au collÚge et au lycée ?
Auteur : Devalland Christophe
-
2011 Bulletin de l’APMEP. N° 492. p. 43-61. Que faire avec un tableur formel au collĂšge et au lycĂ©e ?
Auteur : Devalland Christophe
-
2008 Accromath. N° 3. Hiver-printemps 2008. p. 22-25. Preuves et certitudes.
Auteur : Delahaye Jean-Paul
-
1977 Quelques apports de l’informatique Ă l’enseignement des mathĂ©matiques.
Auteurs : APMEP Commission Informatique ; Deledicq André. Dir.
-
1979 L’Ouvert. N° 17. p. 3-7. La preuve par ordinateur.
Auteurs : Cartier Pierre ; Martinet Jean
-
1992 Quadrature. N° 11. p. 5-12. Quelle est la meilleure preuve ?
Auteur : Lehning Hervé
-
2013 Bulletin de l’APMEP. N° 503. p. 166-180. Mastermind : Des preuves par ordinateur.
Auteur : Langer Bernard
-
2002 Bulletin de l’APMEP. N° 442. p. 602-612. Les ordinateurs mathĂ©maticiens.
Auteur : Delahaye Jean-Paul