Accueil Publimath  Aide à la recherche  Requête : Schabanel Nicolas
Certification IDDN Valid HTML 4.01 Transitional

  dans Afficher les fiches par  
5 fiches trouvées

12017 Vidéo de l'IREM de Paris - Le Maths Club. Des molécules qui calculent et assemblent des formes.Ressource en ligne
22015 Bibliothèque Tangente. N° 55. La démonstration automatique : un enjeu crucial. p. 144-147.
32015 Bibliothèque Tangente. N° 55. Le "petit" théorème PCP. p. 148-151.
42015 Bibliothèque Tangente. N° 55. Réduire la taille d'une preuve. p. 152-155.
52013 Mathématiques. L'explosion continue. Couper, attendrir, trancher, réduire : un conte culinaire sur la résolution informatique des problèmes difficiles. p. 15-22.