2015 Bibliothèque Tangente. N° 55. Réduire la taille d’une preuve. p. 152-155.
Auteur : Schabanel Nicolas
Il y a 335 résultats avec cette recherche.
2015 Bibliothèque Tangente. N° 55. Réduire la taille d’une preuve. p. 152-155.
Auteur : Schabanel Nicolas
2015 Bibliothèque Tangente. N° 55. Le « petit » théorème PCP. p. 148-151.
Auteur : Schabanel Nicolas
2015 Bibliothèque Tangente. N° 55. Comment prouver son identité. p. 134-136.
Auteur : Lehning Hervé
2013 Bibliothèque Tangente. N° 49. Algorithmes numériques impossibles. p. 58-62.
Auteur : Delahaye Jean-Paul
2013 Actes du Colloque inter IREM « La réforme des programmes du lycée et alors ? »
Auteurs : Commission inter-IREM Université. Ed. ; Commission inter-IREM Lycée. Ed. ; Commission inter-IREM Statistique et probabilités. Ed.
2007 Tangente Hors-série. N° 31. Les vingt articles qui ont marqué Tangente.
Auteur : Cohen Gilles. Dir.
Auteur : Salles Jacques
Auteurs : Leon Nicolas ; Modeste Simon
Auteur : Converset Gérard
2023 Tangente. N° 210. p. 12-12. Le produit matriciel : un problème ouvert ?
Auteur : Labat Jean-Marc
2004 Bibliothèque Tangente. N° 15. La logique.
Auteur : Cohen Gilles. Dir.
1994 Apports de l’outil informatique à l’enseignement de la géométrie.
Auteur : Commission inter-IREM Informatique et mathématiques
2006 Cosinus. N° 69. p. 6-11. La machine de Turing ou comment pensent les ordinateurs.
Auteur : Delerue Nicolas
Auteurs : Flade Lothar ; Pruzina Manfred
2009 Bulletin de l’APMEP. N° 485. p. 795-806. Pour un enseignement de l’informatique dans le secondaire.
Auteurs : Dowek Gilles ; Archambault Jean-Pierre
2011 Feuille de vigne. N° 121.
Auteur : IREM de Dijon Feuille de Vigne. Dir.
1981 Bulletin de l’APMEP. N° 327. p. 71-77. Calculateurs et comportements.
Auteurs : Commission inter-IREM-APMEP Informatique ; Lefort Jeannine. Dir. ; Puigrenier Michel. Dir.
2014 Quadrature. N° 91. p. 26-34. Les surfaces gagnent du volume.
Auteur : Rohmer Damien
Auteurs : Kittel Michelle ; Kuntz Gérard
2015 Bibliothèque Tangente. N° 55. Une preuve de maths est un programme informatique ! p. 138-142.
Auteurs : Nguyen Le Than Dung ; Ledent Jérémy
2020 Les maths, Oui, ça sert ! Express.
Auteurs : Pestel Marie-José. Dir. ; Thomas Edouard. Dir.
2002 Tangente. N° 89. p. 32-35. Un pont entre l’homme et la machine.
Auteur : Novelli Jean-Christophe