Mots-clés – Auteurs

classe de complexité NP

Il y a 11 résultats pour cette recherche

2020 Repères-IREM. N° 121.
Auteur : Repères-IREM Comité de rédaction. Dir.
2020 Repères-IREM. N° 121. p. 77-105. Du problème de Wang vers une nouvelle situation de recherche pour la classe.
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
2015 Bibliothèque Tangente. N° 55. Les démonstrations.
Auteur : Cohen Gilles. Dir.
2015 Bibliothèque Tangente. N° 55. Réduire la taille d’une preuve. p. 152-155.
Auteur : Schabanel Nicolas
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
2011 Vidéo de l’IREM de Paris – Le Maths Club. Maths et Musique.
Auteur : Pachet François
2007 Tangente. N° 117. p. 12-13. P=NP ?
Auteur : Lehning Hervé
2005 Repères-IREM. N° 61. p. 91-103. Physique statistique et optimisation combinatoire.
Auteur : Chrétien Stéphane
2005 Repères-IREM. N° 61.
Auteur : Repères-IREM Comité de rédaction. Dir.