2011 Vidéo de l’IREM de Paris – Le Maths Club. Maths et Musique.
Auteur : Pachet François
Il y a 11 résultats avec cette recherche.
2011 Vidéo de l’IREM de Paris – Le Maths Club. Maths et Musique.
Auteur : Pachet François
2011 De la méthode.
Auteur : Serfati Michel. Dir.
2011 De la méthode. Machines de Turing et complexité algorithmique. p. 179-212.
Auteur : Hudry Olivier
2005 Repères-IREM. N° 61.
2005 Repères-IREM. N° 61. p. 91-103. Physique statistique et optimisation combinatoire.
Auteur : Chrétien Stéphane
2015 Bibliothèque Tangente. N° 55. Réduire la taille d’une preuve. p. 152-155.
Auteur : Schabanel Nicolas
Auteurs : Da Ronch Mickaël ; Gandit Michèle ; Gravier Sylvain
2015 Bibliothèque Tangente. N° 55. La démonstration automatique : un enjeu crucial. p. 144-147.
Auteur : Schabanel Nicolas
2007 Tangente. N° 117. p. 12-13. P=NP ?
Auteur : Lehning Hervé