2003 Calculs et formes. De l’activité mathématique.
Auteurs : Boniface Jacqueline. Dir. ; Commission inter-IREM Epistémologie et histoire des Mathématiques. Ed.
théorie des types de Martin-Löf
Il y a 2 résultats avec cette recherche.
Il y a 2 résultats avec cette recherche.
2003 Calculs et formes. De l’activité mathématique.
Auteurs : Boniface Jacqueline. Dir. ; Commission inter-IREM Epistémologie et histoire des Mathématiques. Ed.
2011 Journée annuelle de la Société Mathématique de France. Vol. 24. Qu’est-ce qu’un nombre au hasard ?
Auteurs : Bienvenu Laurent ; Rittaud Benoît ; Xiao David