Mots-clés – Auteurs

démonstration assistée par ordinateur

Il y a 8 résultats pour cette recherche

2019 Actes du séminaire national de didactique des mathématiques 2018. Les abstractions informatiques peuvent-elles concrétiser les mathématiques ?. p. 383-390.
Auteur : Beffara Emmanuel
2019 Quadrature. N° 111. p. 25-30. Nombres premiers, Euclide et Coq.
Auteur : Alvarez Aurélien
2018 Vidéo de l’IREM de Paris – Séminaire national de didactique des mathématiques ARDM. Les abstractions informatiques peuvent-elles concrétiser les mathématiques ?
Auteur : Beffara Emmanuel
2017 Maths Langages express.
Auteurs : Pestel Marie-José. Dir. ; Thomas Edouard. Dir.
2017 Maths Langages express. Démonstrations automatiques assistées par ordinateur. p. 57-62.
Auteur : Mahboubi Assia
2001 Environnements interactifs d’apprentissage et démonstration en géométrie.
Auteur : Py Dominique
2000 La recherche de la vérité.
Auteurs : Serfati Michel. Dir. ; Serfati Michel. Préf.
1994 Apports de l’outil informatique à l’enseignement de la géométrie.
Auteur : Commission inter-IREM Informatique et mathématiques