Mots-clés – Auteurs

preuve formelle

Il y a 5 résultats pour cette recherche

2013 Bibliothèque Tangente. N° 49. Les maths de l’impossible.
Auteur : Cohen Gilles. Dir.
2013 Preuves sans mots.
Auteurs : Nelsen Roger B ; Lévy-Leblond Jean-Marc. Trad. ; Delahaye Jean-Paul. Préf.
2013 Tangente Hors-série. N° 49. Mathématiques de l’impossible.
Auteur : Cohen Gilles. Dir.
2013 Tangente Hors-série. N° 49. p. 42-43. Le monumental théorème de Feit-Thompson reçoit une preuve formelle.
Auteur : Thomas Edouard
2013 Bibliothèque Tangente. N° 49. Le monumental théorème de Feit-Thompson reçoit une preuve formelle. p. 82-84.
Auteur : Thomas Edouard