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

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

12017 Maths Langages express. Démonstrations automatiques assistées par ordinateur. p. 57-62.Ressource en ligne
22017 Maths Langages express.Ressource en ligne
32017 Quadrature. N° 103. p. 11-17. Un jeu vidéo pour adultes et une thématique HoTT !Ressource en ligne
42015 Bibliothèque Tangente. N° 55. La démonstration automatique : un enjeu crucial. p. 144-147.
52015 Bibliothèque Tangente. N° 55. La démonstration automatique : un enjeu crucial. p. 130-131.
62015 Bibliothèque Tangente. N° 55. Les démonstrations.
72014 Bibliothèque Tangente. N° 52. Démonstration : l'ordinateur à la rescousse. p. 76-79.
82014 Tangente Hors-série. N° 52. p. 34-36. Démonstration : l'ordinateur à la rescousse.
92007 Les métamorphoses du calcul.
102002 Bulletin de l'APMEP. N° 442. p. 602-612. Les ordinateurs mathématiciens.Ressource en ligne
112002 L'intelligence et le calcul.
122001 Introduction à la logique.
132001 Produire et lire des textes de démonstration. La démonstration dans les EIAO de géométrie. p. 215-224.
141999 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
151996 L'enseignement des mathématiques : des Repères entre Savoirs, Programmes et Pratiques. De l'intelligence artificielle aux fiches-méthodes. p. 55-68.
161995 Bulletin de l'APMEP. N° 401. p. 937-941. La recherche universitaire en calcul formel.Ressource en ligne
171994 Repères-IREM. N° 16.Ressource en ligne
181994 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
191993 Quadrature. N° 16. p. 45-52. Démonstration automatique en géométrie : une approche par l'algèbre.
201990 Actes de l'université d'été informatique et enseignement de la géométrie.