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

12015 Bibliothèque Tangente. Num. 55. Comment prouver son identité. p. 134-136.
22015 Bibliothèque Tangente. Num. 55. Réduire la taille d'une preuve. p. 152-155.
32015 Bibliothèque Tangente. Num. 55. Prouver rapidement qu'une propriété est vérifiée... ou pas. p. 132-133.
42015 Bibliothèque Tangente. Num. 55. Même le hasard peut créer des certitudes. p. 116-118.
52015 Bibliothèque Tangente. Num. 55. La démonstration automatique : un enjeu crucial. p. 144-147.
62015 Bibliothèque Tangente. Num. 55. Les démonstrations.
72015 Bibliothèque Tangente. Num. 55. Le "petit" théorème PCP. p. 148-151.
82015 L'informatique pas à pas en prépa.
92011 Quadrature. Num. 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 L'esprit des sciences. Le calcul confié aux machines.