2015 Bibliothèque Tangente. N° 55. Réduire la taille d’une preuve. p. 152-155.
Auteur : Schabanel Nicolas
Il y a 5 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. La démonstration automatique : un enjeu crucial. p. 144-147.
Auteur : Schabanel Nicolas
Auteurs : Schabanel Nicolas ; Pansu Pierre
2017 Vidéo de l’IREM de Paris – Le Maths Club. Des molécules qui calculent et assemblent des formes.
Auteur : Schabanel Nicolas