Mots-clés – Auteurs

démonstration automatique

Il y a 19 résultats pour cette recherche

2017 Maths Langages express. Démonstrations automatiques assistées par ordinateur. p. 57-62.
Auteur : Mahboubi Assia
2017 Maths Langages express.
Auteurs : Pestel Marie-José. Dir. ; Thomas Edouard. Dir.
2017 Quadrature. N° 103. p. 11-17. Un jeu vidéo pour adultes et une thématique HoTT !
Auteur : Alvarez Aurélien
2014 Tangente Hors-série. N° 52. p. 34-36. Démonstration : l’ordinateur à la rescousse.
Auteur : Filliâtre Jean-Christophe
2014 Bibliothèque Tangente. N° 52. Démonstration : l’ordinateur à la rescousse. p. 76-79.
Auteur : Filliâtre Jean-Christophe
2007 Les métamorphoses du calcul.
Auteur : Dowek Gilles
2002 L’intelligence et le calcul.
Auteur : Delahaye Jean-Paul
2002 Bulletin de l’APMEP. N° 442. p. 602-612. Les ordinateurs mathématiciens.
Auteur : Delahaye Jean-Paul
2001 Introduction à la logique.
Auteurs : David René ; Nour Karim ; Raffalli Christophe
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
1999 Bulletin de l’APMEP. N° 421. p. 177-188. Démonstration automatique en géométrie. Une approche par la géométrie analytique.
Auteurs : Mainguené Jean ; Roy Marie-Françoise
1996 L’enseignement des mathématiques : des Repères entre Savoirs, Programmes et Pratiques. De l’intelligence artificielle aux fiches-méthodes. p. 55-68.
Auteur : Kuntz Gérard
1994 Repères-IREM. N° 16.
Auteur : Repères-IREM Comité de rédaction. Dir.
1994 Repères-IREM. N° 16. p. 11-27. De l’Intelligence artificielle aux fiches-méthodes : histoire d’une dérive technicienne.
Auteur : Kuntz Gérard
1993 Quadrature. N° 16. p. 45-52. Démonstration automatique en géométrie : une approche par l’algèbre.
Auteur : Roy Marie-Françoise
1990 La démonstration mathématique dans l’histoire. Démonstration automatique en géométrie : une approche par l’algèbre. p. 251-259.
Auteur : Coste-Roy Marie-Françoise
1990 Ecriture automatique de démonstrations en géométrie.
Auteurs : Guillot Philippe ; Jolivet Luc ; Leperd Jean-Luc ; Moulin Claude
1990 La démonstration mathématique dans l’histoire.
Auteurs : Barbin Evelyne. Dir. ; Commission inter-IREM Epistémologie et histoire des Mathématiques. Ed.
1976 Bulletin de l’APMEP. N° 302. p. 93-106. La démonstration automatique de théorèmes : des méthodes et des résultats qui concernent l’enseignement des mathématiques.
Auteurs : Vivet Martial ; Laurent J.-P.