démonstration automatique

Il y a 19 résultats avec cette recherche.

1990 La démonstration mathématique dans l’histoire.

Auteurs : Barbin Evelyne. Dir. ; Commission inter-IREM Epistémologie et histoire des Mathématiques. Ed.
2007 Les métamorphoses du calcul.

Auteur : Dowek Gilles
1994 Repères-IREM. N° 16.

Auteur : Repères-IREM Comité de rédaction. Dir.
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. p. 11-27. De l’Intelligence artificielle aux fiches-méthodes : histoire d’une dérive technicienne.

Auteur : Kuntz Gérard
2002 L’intelligence et le calcul.

Auteur : Delahaye Jean-Paul
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 Introduction à la logique.

Auteurs : David René ; Nour Karim ; Raffalli Christophe
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
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
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
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.
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
2017 Quadrature. N° 103. p. 11-17. Un jeu vidéo pour adultes et une thématique HoTT !

Auteur : Alvarez Aurélien
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
2002 Bulletin de l’APMEP. N° 442. p. 602-612. Les ordinateurs mathématiciens.

Auteur : Delahaye Jean-Paul