Liste fiches - Publimath

démonstration assistée par ordinateur

Il y a 19 résultats pour cette recherche

2025 Vidéo de l'IREM de Paris - Le Maths Club. Utiliser l'ordinateur pour faire des démonstrations mathématiques : une introduction aux assistants de preuve.
Auteur : Brasca Riccardo
2019 Quadrature. N° 111. p. 25-30. Nombres premiers, Euclide et Coq.
Auteur : Alvarez Aurélien
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
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 Produire et lire des textes de démonstration. Quelques phénomènes didactiques mis en évidence par l'utilisation du logiciel DEFI. p. 255-266.
Auteurs : El Gass Bahia ; Giorgiutti Italo
2001 Produire et lire des textes de démonstration. La démonstration dans les EIAO de géométrie. p. 215-224.
Auteur : Py Dominique
2001 Produire et lire des textes de démonstration. Aider le raisonnement déductif sans imposer un modèle : le micromonde Cabri-Euclide. p. 225-240.
Auteur : Luengo Vanda
2001 Produire et lire des textes de démonstration.
Auteurs : Barbin Evelyne. Dir. ; Duval Raymond. Dir. ; Giorgiutti Italo. Dir. ; Houdebine Jean. Dir. ; Laborde Colette. Dir. ; Commission inter-IREM Epistémologie et histoire des Mathématiques. Ed.
2001 Environnements interactifs d'apprentissage et démonstration en géométrie.
Auteur : Py Dominique
2001 Produire et lire des textes de démonstration. Le logiciel Mentoniezh. p. 249-254.
Auteur : Py Dominique
2000 La recherche de la vérité.
Auteurs : Serfati Michel. Dir. ; Serfati Michel. Préf.
1998 Actes du colloque, 23 et 24 janvier 1998 : Produire et lire des textes de démonstration.
Auteurs : Barbin Evelyne. Dir. ; Duval Raymond. Dir. ; Giorgiutti Italo. Dir. ; Houdebine Jean. Dir. ; Laborde Colette. Dir. ; IREM de Rennes. Ed.
1998 Actes du colloque, 23 et 24 janvier 1998. La démonstration dans les EIAO de la géométrie. p. 69-78.
Auteur : Py Dominique
1998 Actes du colloque, 23 et 24 janvier 1998. Le logiciel Mentoniezh. p. 153-155.
Auteur : Py Dominique
1998 Actes du colloque, 23 et 24 janvier 1998. Quelques phénomènes didactiques mis en évidence par l'utilisation du logiciel D.E.F.I p. 157-188.
Auteurs : El Gass Bahia ; Giorgiutti Italo
1998 Actes du colloque, 23 et 24 janvier 1998. Cabri-Euclide : un micromonde de preuve intégrant la réfutation Principes didactiques et informatiques Réalisation. p. 189-190.
Auteur : Luengo Vanda
1994 Apports de l'outil informatique à l'enseignement de la géométrie.
Auteur : Commission inter-IREM Informatique et mathématiques