1995 Repères-IREM. N° 21. p. 7-26. Preuve et progrès en mathématiques.
Auteurs : Thurston William P. ; Brette Jean. Trad.
Il y a 506 résultats avec cette recherche.
1995 Repères-IREM. N° 21. p. 7-26. Preuve et progrès en mathématiques.
Auteurs : Thurston William P. ; Brette Jean. Trad.
Auteur : Duval Raymond
1994 Repères-IREM. N° 15. p. 5-24. La démonstration en géométrie en quatrième et en troisième.
Auteurs : Muller Jean-Pierre ; Duperret Jean-Claude. Préf. ; Daniel Jean-Claude. Préf.
1993 Repères-IREM. N° 12. p. 75-81. Mais… à quoi cela sert-il ?
Auteur : Fénice Jean-Claude
Auteurs : Duval Raymond ; Egret Marie-Agnès
1993 Repères-IREM. N° 12. p. 33-48. Une preuve pour construire en cinquième.
Auteur : Frelet Claude
1993 Repères-IREM. N° 12. p. 51-73. Les tribulations d’un pentagone.
Auteurs : Carral Michel ; Cuppens Roger
Auteurs : Massot Annick ; Jaffrot Michel
1993 Repères-IREM. N° 12. p. 5-14. Les narrations de recherche.
Auteur : Bonafé Freddy
Auteur : Muniglia Michèle
1991 Repères-IREM. N° 4. p. 53-62. Intelligence artificielle et enseignement de la géométrie.
Auteur : Cuppens Roger
1990 Repères-IREM. N° 1. p. 5-27. Démontrer ou ne pas démontrer voilà la question.
Auteur : Houdebine Jean
Auteurs : Bühler Martine ; Michel-Pajus Anne
1997 Repères-IREM. N° 26. p. 49-71. Quelques remarques sur l’enseignement de la géométrie.
Auteur : Bkouche Rudolf
Auteur : Meusnier Norbert
2001 Introduction à la logique.
Auteurs : David René ; Nour Karim ; Raffalli Christophe
2007 L’Ouvert. N° 115. p. 1-19. Les aires et le raisonnement géométrique.
Auteurs : De Cointet Michel ; Egret Marie-Agnès
Auteurs : Houdebine Jean ; Kerboeuf Marie-Paule
Auteur : Le Goff Jean-Pierre
1980 Les démonstrations de cohérence de l’arithmétique.
Auteur : Girard Jean-Yves
2015 Bibliothèque Tangente. N° 55. Idées lumineuses (1). p. 39-39.
Auteurs : Busser Elisabeth ; Cohen Gilles
2015 Tangente Hors-série. N° 55. p. 9-9. Idées lumineuses.
Auteurs : Busser Elisabeth ; Cohen Gilles
2015 Bibliothèque Tangente. N° 55. Les joies du transport de propriétés. p. 94-97.
Auteur : Lehning Hervé