Mots-clés – Auteurs

algorithme probabiliste

Il y a 13 résultats pour cette recherche

2019 Accromath. N° 14. Eté-automne 2019. p. 14-17. Facile difficile …
Auteur : Rousseau Christiane
2015 Bibliothèque Tangente. N° 55. Même le hasard peut créer des certitudes. p. 116-118.
Auteur : Blanchard Nicolas K.
2015 Bibliothèque Tangente. N° 55. Les démonstrations.
Auteur : Cohen Gilles. Dir.
2015 Bibliothèque Tangente. N° 55. Prouver rapidement qu’une propriété est vérifiée… ou pas. p. 132-133.
Auteur : Blanchard Nicolas K.
2015 Bibliothèque Tangente. N° 55. La démonstration automatique : un enjeu crucial. p. 144-147.
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. Réduire la taille d’une preuve. p. 152-155.
Auteur : Schabanel Nicolas
2015 L’informatique pas à pas en prépa.
Auteur : Butin Frédéric
2011 Quadrature. N° 81. p. 35-36. De l’aléa en informatique.
Auteur : Jachiet Louis
2010 Histoire d’algorithmes : du caillou à la puce.
Auteur : Chabert Jean-Luc. Dir.
2007 Leçons de mathématiques d’aujourd’hui. Vol. 3.
Auteurs : Perthame Benoît ; Yor Marc ; Werner Wendelin ; Vienno Xavier ; Teissier Bernard ; Morel Fabien ; Berthelot Pierre ; Kahn Bruno ; Lafforgue Laurent ; Charpentier Eric. Dir. ; Nikolski Nicolaï Kapitonovitch. Dir.
2002 Le calcul confié aux machines.
Auteur : Watier Guillaume
1998 Tangente. N° 61. p. 16-19. Le doigt du sorcier.
Auteur : Rittaud Benoît