Aide à la recherche   Requête : "démonstration automatique"

24 fiches trouvées

Reponses 1 à 20

1	2017 Maths Langages express.
2	2017 Maths Langages express. Démonstrations automatiques assistées par ordinateur. p. 57-62.
3	2017 Quadrature. N° 103. p. 11-17. Un jeu vidéo pour adultes et une thématique HoTT !
4	2015 Bibliothèque Tangente. N° 55. La démonstration automatique : un enjeu crucial. p. 130-131.
5	2015 Bibliothèque Tangente. N° 55. La démonstration automatique : un enjeu crucial. p. 144-147.
6	2015 Bibliothèque Tangente. N° 55. Les démonstrations.
7	2014 Bibliothèque Tangente. N° 52. Démonstration : l'ordinateur à la rescousse. p. 76-79.
8	2014 Tangente Hors-série. N° 52. p. 34-36. Démonstration : l'ordinateur à la rescousse.
9	2007 Les métamorphoses du calcul.
10	2002 Bulletin de l'APMEP. N° 442. p. 602-612. Les ordinateurs mathématiciens.
11	2002 L'intelligence et le calcul.
12	2001 Introduction à la logique.
13	2001 Produire et lire des textes de démonstration. La démonstration dans les EIAO de géométrie. p. 215-224.
14	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.
15	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.
16	1995 Bulletin de l'APMEP. N° 401. p. 937-941. La recherche universitaire en calcul formel.
17	1994 Repères-IREM. N° 16.
18	1994 Repères-IREM. N° 16. p. 11-27. De l'Intelligence artificielle aux fiches-méthodes : histoire d'une dérive technicienne.
19	1993 Quadrature. N° 16. p. 45-52. Démonstration automatique en géométrie : une approche par l'algèbre.
20	1990 Actes de l'université d'été informatique et enseignement de la géométrie.