Accueil Publimath  Aide à la recherche  Requête : "algorithme probabiliste"
Certification IDDN Valid HTML 4.01 Transitional

  dans Afficher les fiches par  
12 fiches trouvées

12019 Accromath. N° 14. Eté-automne 2019. p. 14-17. Facile difficile ... 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. Les démonstrations.
52015 Bibliothèque Tangente. N° 55. Même le hasard peut créer des certitudes. p. 116-118.
62015 Bibliothèque Tangente. N° 55. Prouver rapidement qu'une propriété est vérifiée... ou pas. p. 132-133.
72015 Bibliothèque Tangente. N° 55. Réduire la taille d'une preuve. p. 152-155.
82015 L'informatique pas à pas en prépa.
92011 Quadrature. N° 81. p. 35-36. De l'aléa en informatique.
102010 Histoire d'algorithmes : du caillou à la puce.
112007 Leçons de mathématiques d'aujourd'hui. Vol. 3.
122002 Le calcul confié aux machines.