Accès plus rapide que le navigateur!
59 relations: Alfred Kempe, Arthur Cayley, Assistant de preuve, École polytechnique (France), États-Unis, Benjamin Werner, Bouteille de Klein, Caractéristique d'Euler, Coloration de graphe, Compacité (mathématiques), Conjecture, Conjecture de Hadwiger, Conjecture de Heawood, Connexité (mathématiques), Contraction d'arête, Coq (logiciel), Coupe (théorie des graphes), Don Coppersmith, Enclave et exclave, Francis Guthrie, Georges Gonthier, Gerhard Ringel, Graphe (mathématiques discrètes), Graphe biparti, Graphe planaire, Heinrich Heesch, Homéomorphisme, Howard Levi, John William Theodore Youngs, Julius Petersen, Kenneth Appel, Majorant ou minorant, Méthode formelle (informatique), Mineur (théorie des graphes), Neil Robertson (mathématicien), P (complexité), Partie entière et partie fractionnaire, Paul Erdős, Paul Seymour (mathématicien), Percy John Heawood, Peter Guthrie Tait, Philip Franklin, Polyèdre, Problème NP-complet, Projection stéréographique, Robin Thomas (mathématicien), Sphère, Surface (géométrie analytique), Théorème des cinq couleurs, Théorie de la complexité (informatique théorique), ..., Tore, Underwood Dudley, Wolfgang Haken, 1852, 1879, 1880, 1890, 1891, 1976. Développer l'indice (9 plus) »
Alfred Kempe
Alfred Bray Kempe (Kensington, Londres –, Londres) est un mathématicien connu principalement pour son travail sur le théorème des quatre couleurs.
Nouveau!!: Théorème des quatre couleurs et Alfred Kempe · Voir plus »
Arthur Cayley
Arthur Cayley (-) est un mathématicien britannique.
Nouveau!!: Théorème des quatre couleurs et Arthur Cayley · Voir plus »
Assistant de preuve
En informatique (ou en mathématiques assistées par informatique), un assistant de preuve est un logiciel permettant la vérification de preuves mathématiques, soit sur des théorèmes au sens usuel des mathématiques, soit sur des assertions relatives à l'exécution de programmes informatiques.
Nouveau!!: Théorème des quatre couleurs et Assistant de preuve · Voir plus »
École polytechnique (France)
L'École polytechnique, couramment appelée Polytechnique et surnommée en France l'« X », est l'une des françaises accréditées au à délivrer un diplôme d'ingénieur.
Nouveau!!: Théorème des quatre couleurs et École polytechnique (France) · Voir plus »
États-Unis
Les États-Unis (prononcé), en forme longue les États-Unis d'AmériqueComme la plupart des pays, les États-Unis ont un nom « court » pour l'usage courant, pédagogique et cartographique, et un nom « long » pour l'usage officiel.
Nouveau!!: Théorème des quatre couleurs et États-Unis · Voir plus »
Benjamin Werner
Benjamin Werner, né le à Munich, est un chercheur français en informatique.
Nouveau!!: Théorème des quatre couleurs et Benjamin Werner · Voir plus »
Bouteille de Klein
En mathématiques, la bouteille de Klein (prononcé) est une surface fermée, sans bord et non orientable, c'est-à-dire une surface pour laquelle il n'est pas possible de définir un « intérieur » et un « extérieur ».
Nouveau!!: Théorème des quatre couleurs et Bouteille de Klein · Voir plus »
Caractéristique d'Euler
En mathématiques, et plus précisément en géométrie et en topologie algébrique, la caractéristique d'Euler — ou d'Euler-Poincaré — est un invariant numérique, un nombre qui décrit un aspect d'une forme d'un espace topologique ou de la structure de cet espace.
Nouveau!!: Théorème des quatre couleurs et Caractéristique d'Euler · Voir plus »
Coloration de graphe
Une coloration du graphe de Petersen avec 3 couleurs. En théorie des graphes, la coloration de graphe consiste à attribuer une couleur à chacun de ses sommets de manière que deux sommets reliés par une arête soient de couleur différente.
Nouveau!!: Théorème des quatre couleurs et Coloration de graphe · Voir plus »
Compacité (mathématiques)
En topologie, on dit d'un espace qu'il est compact s'il est séparé et qu'il vérifie la propriété de Borel-Lebesgue.
Nouveau!!: Théorème des quatre couleurs et Compacité (mathématiques) · Voir plus »
Conjecture
En mathématiques, une conjecture est une assertion pour laquelle on ne connaît pas encore de démonstration, mais que l'on croit fortement être vraie (en l'absence de contre-exemple, ou comme généralisation de résultats démontrés).
Nouveau!!: Théorème des quatre couleurs et Conjecture · Voir plus »
Conjecture de Hadwiger
En théorie des graphes, la conjecture de Hadwiger est une conjecture très générale sur les problèmes de coloration de graphes.
Nouveau!!: Théorème des quatre couleurs et Conjecture de Hadwiger · Voir plus »
Conjecture de Heawood
En théorie des graphes, la conjecture de Heawood ou, maintenant qu'elle est démontrée le théorème de Ringel–Youngs donne un minorant pour le nombre de couleurs nécessaires pour colorer une surface de genre donné.
Nouveau!!: Théorème des quatre couleurs et Conjecture de Heawood · Voir plus »
Connexité (mathématiques)
La connexité est une notion de topologie qui formalise le concept d'« objet d'un seul tenant ».
Nouveau!!: Théorème des quatre couleurs et Connexité (mathématiques) · Voir plus »
Contraction d'arête
En théorie des graphes, une contraction d'arête est une opération sur un graphe.
Nouveau!!: Théorème des quatre couleurs et Contraction d'arête · Voir plus »
Coq (logiciel)
Coq est un assistant de preuve utilisant le langage Gallina, développé par l'équipe de l’Inria au sein du laboratoire du CNRS et en partenariat avec l'École polytechnique, le CNAM, l'Université Paris Diderot et l'Université Paris-Sud (et antérieurement l'École normale supérieure de Lyon).
Nouveau!!: Théorème des quatre couleurs et Coq (logiciel) · Voir plus »
Coupe (théorie des graphes)
En théorie des graphes, une coupe d'un graphe est une partition des sommets en deux sous-ensembles.
Nouveau!!: Théorème des quatre couleurs et Coupe (théorie des graphes) · Voir plus »
Don Coppersmith
Don Coppersmith est un mathématicien et cryptologue américain né en 1950.
Nouveau!!: Théorème des quatre couleurs et Don Coppersmith · Voir plus »
Enclave et exclave
La région '''C''' est une exclave du pays '''B''', ainsi qu'une enclave dans le pays '''A''' qui l'encercle complètement. La région '''C''' est une exclave du pays '''B''', mais est seulement semi-enclavée car il y a une frontière maritime ('''D'''). Une enclave est un territoire, ou morceau de territoire (il s'agit dans ce cas d'une exclave de son territoire principal), complètement entouré par une seule autre entité territoriale.
Nouveau!!: Théorème des quatre couleurs et Enclave et exclave · Voir plus »
Francis Guthrie
Francis Guthrie (né à Londres le - décédé le à Claremont, banlieue du Cap) est un mathématicien sud-africain et un botaniste.
Nouveau!!: Théorème des quatre couleurs et Francis Guthrie · Voir plus »
Georges Gonthier
Georges Gonthier est un chercheur canadien en informatique, effectuant sa recherche en Grande-Bretagne et en France.
Nouveau!!: Théorème des quatre couleurs et Georges Gonthier · Voir plus »
Gerhard Ringel
Gerhard Ringel, né le à Kollnbrunn en Autriche et décédé le à Santa Cruz en Californie, est un mathématicien allemand.
Nouveau!!: Théorème des quatre couleurs et Gerhard Ringel · Voir plus »
Graphe (mathématiques discrètes)
Dans le domaine des mathématiques discrètes, la théorie des graphes définit le graphe, une structure composée d'objets et de relations entre deux de ces objets.
Nouveau!!: Théorème des quatre couleurs et Graphe (mathématiques discrètes) · Voir plus »
Graphe biparti
En théorie des graphes, un graphe est dit biparti si son ensemble de sommets peut être divisé en deux sous-ensembles disjoints U et V tels que chaque arête ait une extrémité dans U et l'autre dans V. Un graphe biparti permet notamment de représenter une relation binaire.
Nouveau!!: Théorème des quatre couleurs et Graphe biparti · Voir plus »
Graphe planaire
Dans la théorie des graphes, un graphe planaire est un graphe qui a la particularité de pouvoir se représenter sur un plan sans qu'aucune arête (ou arc pour un graphe orienté) n'en croise une autre.
Nouveau!!: Théorème des quatre couleurs et Graphe planaire · Voir plus »
Heinrich Heesch
Heinrich Heesch (Kiel –, Hanovre) est un mathématicien allemand, connu notamment pour son travail sur la cristallographie et le théorème des quatre couleurs.
Nouveau!!: Théorème des quatre couleurs et Heinrich Heesch · Voir plus »
Homéomorphisme
En topologie, un homéomorphisme est une application bijective continue, d'un espace topologique dans un autre, dont la bijection réciproque est continue.
Nouveau!!: Théorème des quatre couleurs et Homéomorphisme · Voir plus »
Howard Levi
Howard Levi (né le à New York où il est mort le) est un mathématicien américain qui travaillait principalement en algèbre et dans l'enseignement des mathématiques.
Nouveau!!: Théorème des quatre couleurs et Howard Levi · Voir plus »
John William Theodore Youngs
John William Theodore Youngs (en général cité sous le nom « J. W. T. Youngs », aussi connu comme « Ted Youngs ») est un mathématicien américain, né le à Bilaspur en Inde et mort le à Santa Cruz en Californie.
Nouveau!!: Théorème des quatre couleurs et John William Theodore Youngs · Voir plus »
Julius Petersen
Julius Peter Christian Petersen (né le à Sorø au Danemark et mort le à Copenhague) est un mathématicien danois.
Nouveau!!: Théorème des quatre couleurs et Julius Petersen · Voir plus »
Kenneth Appel
Kenneth Ira Appel (1932, Brooklyn – 2013, Dover) est un mathématicien américain, connu pour avoir résolu le problème des quatre couleurs avec Wolfgang Haken dans les années 1970.
Nouveau!!: Théorème des quatre couleurs et Kenneth Appel · Voir plus »
Majorant ou minorant
En mathématiques, soient (E, ≤) un ensemble ordonné et F une partie de E; un élément x de E est.
Nouveau!!: Théorème des quatre couleurs et Majorant ou minorant · Voir plus »
Méthode formelle (informatique)
En informatique, les méthodes formelles sont des techniques permettant de raisonner rigoureusement, à l'aide de logique mathématique, sur un programme informatique ou du matériel électronique numérique, afin de démontrer leur validité par rapport à une certaine spécification.
Nouveau!!: Théorème des quatre couleurs et Méthode formelle (informatique) · Voir plus »
Mineur (théorie des graphes)
La notion de mineur d'un graphe est un concept de théorie des graphes.
Nouveau!!: Théorème des quatre couleurs et Mineur (théorie des graphes) · Voir plus »
Neil Robertson (mathématicien)
George Neil Robertson, né le au Canada, est un mathématicien qui travaille principalement sur la théorie des graphes.
Nouveau!!: Théorème des quatre couleurs et Neil Robertson (mathématicien) · Voir plus »
P (complexité)
La classe P, aussi noté parfois PTIME ou DTIME(nO(1)), est une classe très importante de la théorie de la complexité, un domaine de l'informatique théorique et des mathématiques.
Nouveau!!: Théorème des quatre couleurs et P (complexité) · Voir plus »
Partie entière et partie fractionnaire
en escalier de la fonction « partie entière ». En mathématiques et en informatique, la partie entière par défaut, ou partie entière inférieure, en général abrégée en partie entière tout court, d'un nombre réel x est le plus grand entier relatif (positif, négatif ou nul) inférieur ou égal à x. Notée le plus souvent \lfloor x\rfloor, elle est entièrement définie par: \begin \lfloor x\rfloor\in \mathbb \\ \lfloor x\rfloor\leqslant x. Son existence est garantie par la propriété d'Archimède.
Nouveau!!: Théorème des quatre couleurs et Partie entière et partie fractionnaire · Voir plus »
Paul Erdős
Paul Erdős, né Pál Erdős le à Budapest et mort le à Varsovie, est un mathématicien hongrois.
Nouveau!!: Théorème des quatre couleurs et Paul Erdős · Voir plus »
Paul Seymour (mathématicien)
Paul D. Seymour (né le à Plymouth) est un mathématicien britannique travaillant sur les mathématiques discrètes, en particulier la combinatoire, la théorie des graphes, et l'optimisation.
Nouveau!!: Théorème des quatre couleurs et Paul Seymour (mathématicien) · Voir plus »
Percy John Heawood
Percy John Heawood (1861-1955) était un mathématicien britannique.
Nouveau!!: Théorème des quatre couleurs et Percy John Heawood · Voir plus »
Peter Guthrie Tait
Peter Guthrie Tait (-) est un physicien et mathématicien écossais connu pour ses travaux pionniers sur l'énergie publiés dans le Treatise on Natural Philosophy coécrit avec William Thomson.
Nouveau!!: Théorème des quatre couleurs et Peter Guthrie Tait · Voir plus »
Philip Franklin
Philippe Franklin (-) est un mathématicien et professeur américain dont les travaux sont principalement axés sur l'analyse.
Nouveau!!: Théorème des quatre couleurs et Philip Franklin · Voir plus »
Polyèdre
Un polyèdre est une forme géométrique à trois dimensions (un solide géométrique) ayant des faces planes polygonales qui se rencontrent selon des segments de droite qu'on appelle arêtes.
Nouveau!!: Théorème des quatre couleurs et Polyèdre · Voir plus »
Problème NP-complet
En théorie de la complexité, un problème NP-complet ou problème NPC (c'est-à-dire un problème complet pour la classe NP) est un problème de décision vérifiant les propriétés suivantes.
Nouveau!!: Théorème des quatre couleurs et Problème NP-complet · Voir plus »
Projection stéréographique
En géométrie et en cartographie, la projection stéréographique est une projection cartographique azimutale permettant de représenter une sphère privée d'un point sur un plan.
Nouveau!!: Théorème des quatre couleurs et Projection stéréographique · Voir plus »
Robin Thomas (mathématicien)
Robin Thomas est un mathématicien tchèque né le et mort le travaillant dans le domaine de la théorie des graphes à l'Institut de technologie de Géorgie.
Nouveau!!: Théorème des quatre couleurs et Robin Thomas (mathématicien) · Voir plus »
Sphère
fil de fer d'une sphère dans un espace euclidien. En géométrie dans l'espace, une sphère est une surface constituée de tous les points situés à une même distance d'un point appelé centre.
Nouveau!!: Théorème des quatre couleurs et Sphère · Voir plus »
Surface (géométrie analytique)
En géométrie analytique, on représente les surfaces, c'est-à-dire les ensembles de points sur lequel il est localement possible de se repérer à l'aide de deux coordonnées réelles, par des relations entre les coordonnées de leurs points, qu'on appelle équations de la surface ou par des représentations paramétriques.
Nouveau!!: Théorème des quatre couleurs et Surface (géométrie analytique) · Voir plus »
Théorème des cinq couleurs
Carte où les provinces françaises ont été coloriées en cinq couleurs. Le théorème des cinq couleurs est l'affirmation de la possibilité, à l'aide de cinq couleurs au maximum, de colorier n'importe quelle carte composée de régions connexes, de sorte que toute paire de régions limitrophes apparaisse avec deux couleurs, autrement dit qu'aucune paire ne soit d'une couleur.
Nouveau!!: Théorème des quatre couleurs et Théorème des cinq couleurs · Voir plus »
Théorie de la complexité (informatique théorique)
P est la classe des problèmes décidés en temps polynomial par une machine de Turing déterministe. La théorie de la complexité est le domaine des mathématiques, et plus précisément de l'informatique théorique, qui étudie formellement le temps de calcul, l'espace mémoire (et plus marginalement la taille d'un circuit, le nombre de processeurs, l'énergie consommée…) requis par un algorithme pour résoudre un problème algorithmique.
Nouveau!!: Théorème des quatre couleurs et Théorie de la complexité (informatique théorique) · Voir plus »
Tore
Modélisation d'un tore Un tore est un solide géométrique représentant un tube courbé refermé sur lui-même.
Nouveau!!: Théorème des quatre couleurs et Tore · Voir plus »
Underwood Dudley
Underwood Dudley (né le) est un mathématicien, anciennement de l'université DePauw en Indiana aux États-Unis, qui a écrit plusieurs livres et articles, mais qui est mieux connu pour ses livres populaires.
Nouveau!!: Théorème des quatre couleurs et Underwood Dudley · Voir plus »
Wolfgang Haken
Wolfgang Haken, né le à Berlin et mort le à Champaign, est un mathématicien spécialisé en topologie, et plus particulièrement en variétés de dimension 3.
Nouveau!!: Théorème des quatre couleurs et Wolfgang Haken · Voir plus »
1852
L'année 1852 est une année bissextile qui commence un jeudi.
Nouveau!!: Théorème des quatre couleurs et 1852 · Voir plus »
1879
L'année 1879 est une année commune qui commence un mercredi.
Nouveau!!: Théorème des quatre couleurs et 1879 · Voir plus »
1880
L'année 1880 est une année bissextile qui commence un jeudi.
Nouveau!!: Théorème des quatre couleurs et 1880 · Voir plus »
1890
L'année 1890 est une année commune qui commence un mercredi.
Nouveau!!: Théorème des quatre couleurs et 1890 · Voir plus »
1891
L'année 1891 est une année commune qui commence un jeudi.
Nouveau!!: Théorème des quatre couleurs et 1891 · Voir plus »
1976
L'année 1976 est une année bissextile qui commence un jeudi.
Nouveau!!: Théorème des quatre couleurs et 1976 · Voir plus »
Redirections ici:
Conjecture des quatre couleurs, Problème des quatre couleurs, Théorème des 4 couleurs.
