démonstration assistée par ordinateur

Il y a 8 résultats avec cette recherche.

2000 La recherche de la vérité.

Auteurs : Serfati Michel. Dir. ; Serfati Michel. Préf.
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
1994 Apports de l’outil informatique à l’enseignement de la géométrie.

Auteur : Commission inter-IREM Informatique et mathématiques
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
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
2019 Quadrature. N° 111. p. 25-30. Nombres premiers, Euclide et Coq.

Auteur : Alvarez Aurélien