Aide à la recherche   Requête : "algorithme probabiliste"

1	2019 Accromath. N° 14. Eté-automne 2019. p. 14-17. Facile difficile ...
2	2015 Bibliothèque Tangente. N° 55. Les démonstrations.
3	2015 Bibliothèque Tangente. N° 55. Même le hasard peut créer des certitudes. p. 116-118.
4	2015 Bibliothèque Tangente. N° 55. Prouver rapidement qu'une propriété est vérifiée... ou pas. p. 132-133.
5	2015 Bibliothèque Tangente. N° 55. La démonstration automatique : un enjeu crucial. p. 144-147.
6	2015 Bibliothèque Tangente. N° 55. Réduire la taille d'une preuve. p. 152-155.
7	2015 Bibliothèque Tangente. N° 55. Le "petit" théorème PCP. p. 148-151.
8	2015 L'informatique pas à pas en prépa.
9	2011 Quadrature. N° 81. p. 35-36. De l'aléa en informatique.
10	2010 Histoire d'algorithmes : du caillou à la puce.
11	2007 Leçons de mathématiques d'aujourd'hui. Vol. 3.
12	2002 L'esprit des sciences. Le calcul confié aux machines.