Accueil Publimath  Aide à la recherche  Requête : "démonstration automatique"
Certification IDDN Valid HTML 4.01 Transitional

dans Afficher les fiches par  
21 fiches trouvées Réponses 1 à 20 Suivant Fin

12017 Quadrature. Num. 103. p. 11-17. Un jeu vidéo pour adultes et une thématique HoTT !Ressource en ligne
22015 Bibliothèque Tangente. N° 55. La démonstration automatique : un enjeu crucial. p. 144-147.
32015 Bibliothèque Tangente. N° 55. Les démonstrations.
42015 Bibliothèque Tangente. N° 55. La démonstration automatique : un enjeu crucial. p. 130-131.
52014 Bibliothèque Tangente. N° 52. Démonstration : l'ordinateur à la rescousse. p. 76-79.
62014 Tangente Hors-série. N° 52. p. 34-36. Démonstration : l'ordinateur à la rescousse.
72007 Les métamorphoses du calcul.
82002 Bulletin de l'APMEP. N° 442. p. 602-612. Les ordinateurs mathématiciens.Ressource en ligne
92002 L'intelligence et le calcul.
102001 Introduction à la logique.
112001 Produire et lire des textes de démonstration. La démonstration dans les EIAO de géométrie. p. 215-224.
121999 Bulletin de l'APMEP. N° 421. p. 177-188. Démonstration automatique en géométrie. Une approche par la géométrie analytique.Ressource en ligne
131996 L'enseignement des mathématiques : des Repères entre Savoirs, Programmes & Pratiques. De l'intelligence artificielle aux fiches-méthodes. p. 55-68.
141995 Bulletin de l'APMEP. N° 401. p. 937-941. La recherche universitaire en calcul formel.Ressource en ligne
151994 Repères-IREM, N°16. p. 11-27. De l'Intelligence artificielle aux fiches-méthodes : histoire d'une dérive technicienne.Ressource en ligne
161993 Quadrature. Num. 16. p. 45-52. Démonstration automatique en géométrie : une approche par l'algèbre.
171990 Actes de l'université d'été informatique et enseignement de la géométrie.
181990 Ecriture automatique de démonstrations en géométrie.Ressource en ligne
191990 La démonstration mathématique dans l'histoire. Démonstration automatique en géométrie : une approche par l'algèbre. p. 251-259.Ressource en ligne
201990 La démonstration mathématique dans l'histoire.