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

1	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.
2	2019 Quadrature. N° 111. p. 25-30. Nombres premiers, Euclide et Coq.
3	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 ?
4	2017 Maths Langages express. Démonstrations automatiques assistées par ordinateur. p. 57-62.
5	2017 Maths Langages express.
6	2001 Environnements interactifs d'apprentissage et démonstration en géométrie.
7	2000 La recherche de la vérité.
8	1994 Apports de l'outil informatique à l'enseignement de la géométrie.