2015 Bibliothèque Tangente. N° 55. La démonstration automatique : un enjeu crucial. p. 130-131.
Auteur : Nguyen Le Than Dung
Il y a 1368 résultats avec cette recherche.
2015 Bibliothèque Tangente. N° 55. La démonstration automatique : un enjeu crucial. p. 130-131.
Auteur : Nguyen Le Than Dung
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. Déterminer si des plans sont parallèles. p. 137-137.
Auteur : Lehning Hervé
2015 Bibliothèque Tangente. N° 55. La logique linéaire. p. 143-143.
Auteur : Ledent Jérémy
2015 Bibliothèque Tangente. N° 54. Les onze états du taureau de Picasso. p. 8-12.
Auteur : Rittaud Benoît
2015 Bibliothèque Tangente. N° 54. Les graphes planaires. p. 14-18.
Auteur : Delahaye Jean-Paul
2015 Bibliothèque Tangente. N° 54. Sur les ponts de Paris. p. 19-19.
Auteur : Verdier Norbert
2015 Bibliothèque Tangente. N° 54. Quand les chemins ne se croisent pas. p. 20-22.
Auteur : Novelli Jean-Christophe
2015 Bibliothèque Tangente. N° 54. Gardons le sens de l’orientation et restons pondérés ! p. 24-26.
Auteur : Criton Michel
2015 Bibliothèque Tangente. N° 54. Le graphe de l’amitié et le moulin à vent. p. 34-35.
Auteur : Lavallou François
2015 Bibliothèque Tangente. N° 54. Des arbres au secours des probabilités. p. 36-39.
Auteur : Rittaud Benoît
2015 Bibliothèque Tangente. N° 54. Des graphes et des surfaces à partir d’un carré. p. 40-42.
Auteur : Delahaye Jean-Paul
2015 Bibliothèque Tangente. N° 54. Des diagrammes pour la physique. p. 50-54.
Auteur : Delerue Nicolas
2015 Bibliothèque Tangente. N° 54. La matrice laplacienne d’un graphe. p. 55-55.
Auteur : Lehning Hervé
2015 Bibliothèque Tangente. N° 54. Le théorème des quatre couleurs. p. 56-57.
Auteurs : Casiro Francis ; Cohen Gilles ; Rittaud Benoît
2015 Bibliothèque Tangente. N° 54. Colorier, un défi innocent et redoutable. p. 58-61.
Auteur : Charpentier Clément
2015 Bibliothèque Tangente. N° 54. Cliques et théorème de Turán. p. 68-71.
Auteur : Lavallou François
2015 Bibliothèque Tangente. N° 54. Le théorème de Kövari-Sos-Turan. p. 75-75.
Auteur : Lavallou François
2015 Bibliothèque Tangente. N° 54. Diagrammes de Schlegel : les polyèdres sont des graphes ! p. 80-82.
Auteur : Dupas Jean-Jacques
2015 Bibliothèque Tangente. N° 54. La fourmi et le problème du voyageur de commerce. p. 84-86.
Auteur : Casiro Francis
2015 Bibliothèque Tangente. N° 54. Le graphe du Web. p. 87-87.
Auteur : Lehning Hervé
2015 Bibliothèque Tangente. N° 54. Un projet dans le bon ordre, la méthode PERT. p. 88-90.
Auteur : Delaunay David
2015 Bibliothèque Tangente. N° 54. L’algorithme de Dijkstra. p. 92-94.
Auteur : Stehlé Jean-Luc
2015 Bibliothèque Tangente. N° 54. Le graphe des épidémies : Ebola, sida et grippe. p. 95-95.
Auteur : Lehning Hervé