PolytopeUn polytope est un objet mathématique géométrique. Le terme de polytope a été inventé par Alicia Boole Stott, la fille du logicien George Boole. Le terme polytope admet plusieurs définitions au sein des mathématiques. Principalement car les usages diffèrent en quelques points selon les pays, mais l'usage américain ayant tendance à s'imposer, on se retrouve confronté avec des usages contradictoires au sein d'un même pays.
Polytope régulierdroite|vignette|Le dodécaèdre régulier, un des cinq solides platoniciens. En mathématiques, plus précisément en géométrie ou encore en géométrie euclidienne, un polytope régulier est une figure de géométrie présentant un grand nombre de symétries. En dimension deux, on trouve par exemple le triangle équilatéral, le carré, les pentagone et hexagone réguliers, etc. En dimension trois se rangent parmi les polytopes réguliers le cube, le dodécaèdre régulier (ci-contre), tous les solides platoniciens.
4-polytopeEn géométrie, un 4-polytope (fréquemment appelé également un polychore) est un polytope de l'espace à quatre dimensions. C'est une figure connexe, composée d'un nombre fini de polytopes de dimension inférieure : des sommets, des arêtes, des faces (qui sont des polygones), et des cellules (qui sont des polyèdres), chaque face appartenant à exactement deux cellules. Le 4-polytope le plus connu est le tesseract (ou hypercube), analogue en 4D du cube. La définition des 4-polytopes varie beaucoup selon les auteurs.
Regular 4-polytopeIn mathematics, a regular 4-polytope is a regular four-dimensional polytope. They are the four-dimensional analogues of the regular polyhedra in three dimensions and the regular polygons in two dimensions. There are six convex and ten star regular 4-polytopes, giving a total of sixteen. The convex regular 4-polytopes were first described by the Swiss mathematician Ludwig Schläfli in the mid-19th century. He discovered that there are precisely six such figures.
Semiregular polytopeIn geometry, by Thorold Gosset's definition a semiregular polytope is usually taken to be a polytope that is vertex-transitive and has all its facets being regular polytopes. E.L. Elte compiled a longer list in 1912 as The Semiregular Polytopes of the Hyperspaces which included a wider definition. In three-dimensional space and below, the terms semiregular polytope and uniform polytope have identical meanings, because all uniform polygons must be regular.
5-polytopeIn geometry, a five-dimensional polytope (or 5-polytope) is a polytope in five-dimensional space, bounded by (4-polytope) facets, pairs of which share a polyhedral cell. A 5-polytope is a closed five-dimensional figure with vertices, edges, faces, and cells, and 4-faces. A vertex is a point where five or more edges meet. An edge is a line segment where four or more faces meet, and a face is a polygon where three or more cells meet. A cell is a polyhedron, and a 4-face is a 4-polytope.
Polytope abstraitEn mathématiques, et plus particulièrement en géométrie discrète, un polytope abstrait est un ensemble partiellement ordonné dont l'ordre reflète les propriétés combinatoires d'un polytope (au sens traditionnel, généralisant les polygones et les polyèdres à un nombre de dimensions quelconque), mais pas les aspects géométriques usuels, tels que les angles ou les distances. On dit qu'un polytope (géométrique) est une réalisation dans un espace à n dimensions (le plus souvent euclidien) du polytope abstrait correspondant.
6-polytopeIn six-dimensional geometry, a six-dimensional polytope or 6-polytope is a polytope, bounded by 5-polytope facets. A 6-polytope is a closed six-dimensional figure with vertices, edges, faces, cells (3-faces), 4-faces, and 5-faces. A vertex is a point where six or more edges meet. An edge is a line segment where four or more faces meet, and a face is a polygon where three or more cells meet. A cell is a polyhedron. A 4-face is a polychoron, and a 5-face is a 5-polytope.
Classe de complexitéEn informatique théorique, et plus précisément en théorie de la complexité, une classe de complexité est un ensemble de problèmes algorithmiques dont la résolution nécessite la même quantité d'une certaine ressource. Une classe est souvent définie comme l'ensemble de tous les problèmes qui peuvent être résolus sur un modèle de calcul M, utilisant une quantité de ressources du type R, où n, est la taille de l'entrée. Les classes les plus usuelles sont celles définies sur des machines de Turing, avec des contraintes de temps de calcul ou d'espace.
Regular PolytopesRegular Polytopes est un livre de mathématiques écrit par le mathématicien canadien Harold Scott MacDonald Coxeter. Initialement publié en 1947, le livre a été mis à jour et réédité en 1963 et 1973. Le livre est une étude complète de la géométrie des polytopes réguliers, c'est-à-dire les polygones et polyèdres réguliers ainsi que leurs généralisations aux dimensions supérieures. Provenant d'un essai intitulé L'Analogie dimensionnelle écrit en 1923, la première édition du livre a pris à Coxeter vingt-quatre ans.
Quantum complexity theoryQuantum complexity theory is the subfield of computational complexity theory that deals with complexity classes defined using quantum computers, a computational model based on quantum mechanics. It studies the hardness of computational problems in relation to these complexity classes, as well as the relationship between quantum complexity classes and classical (i.e., non-quantum) complexity classes. Two important quantum complexity classes are BQP and QMA.
Pays en développementDans la typologie la plus courante, les pays en développement ou pays du Sud sont des pays moins développés économiquement que les pays développés (parfois appelés pays du Nord). L'expression « pays en développement » remplace des dénominations antérieures, jugées inadéquates, obsolètes ou incorrectes : les pays du tiers monde, les pays sous-développés. Elle s'est substituée à « pays en voie de développement ».
Complet (complexité)En informatique théorique, et notamment en théorie de la complexité, un problème complet pour une classe de complexité est un problème de décision qui fait partie des problèmes les plus difficiles à résoudre de cette classe. En ce sens, il est un représentant de la classe. C'est une notion centrale en complexité. Elle permet notamment d'établir des inclusions entre les classes en ne considérant qu'un seul problème. Un problème p est dit difficile pour une classe C pour un certain type de réduction s'il existe une réduction de ce type, depuis n'importe quel problème de la classe vers p.
Petits États insulaires en développementLes petits États insulaires en développement (PEID, appelés aussi Small Island Developing States ou SIDS en anglais) sont des pays situés au niveau de la mer présentant des défis semblables au niveau du développement durable, dont notamment la gestion de la population, des ressources limitées, de l'isolement, de la sensibilité aux catastrophes naturelles, d'une grande dépendance au commerce international et d'un environnement précaire.
Pays les moins avancésvignette|400px| Les pays les moins avancés (PMA) sont une catégorie de pays créée en 1971 par l'Organisation des Nations unies (ONU), regroupant les pays socio-économiquement les moins développés de la planète. Au , 46 pays appartiennent à cette catégorie ; la plupart d'entre eux se situent en Afrique.
Maladie tropicalethumb|Hôpital des maladies tropicales de Calcutta. Les maladies tropicales sont des maladies infectieuses qui se produisent dans les tropiques et les régions subtropicales. Le programme spécial de recherche et de formation concernant les maladies tropicales (TDR, abréviation de l'anglais Tropical Diseases Research) de l'Organisation mondiale de la santé se concentre sur les maladies délaissées qui affectent de façon disproportionnée les populations pauvres et marginalisées.
Machine de Turing probabilisteEn théorie de la complexité, une machine de Turing probabiliste (ou randomisée) est une machine de Turing qui peut utiliser du hasard. Ce genre de machine permet de définir des classes de complexité intéressantes et de donner un modèle de calcul pour les algorithmes probabilistes comme le test de primalité de Miller-Rabin. Il existe différentes définitions équivalentes des machines de Turing probabilistes. Dans la suite tous les tirages sont indépendants et uniformes.
Problème de décisionEn informatique théorique, un problème de décision est une question mathématique dont la réponse est soit « oui », soit « non ». Les logiciens s'y sont intéressés à cause de l'existence ou de la non-existence d'un algorithme répondant à la question posée. Les problèmes de décision interviennent dans deux domaines de la logique : la théorie de la calculabilité et la théorie de la complexité. Parmi les problèmes de décision citons par exemple le problème de l'arrêt, le problème de correspondance de Post ou le dernier théorème de Fermat.
Dette du tiers mondeLa dette du tiers monde est une dette extérieure contractée par les pays du tiers monde (le terme « tiers monde » est toujours employé, bien qu'on lui préfère désormais souvent d'autres expressions telles que « pays en voie de développement » (PVD) ou pays en développement (PED)) ou encore pays du Sud. Cette dette correspond tant à des prêts souverains (d'autres États, du FMI, de la Banque mondiale, etc.) que des financements privés (prêts bancaires, obligations placées auprès de fonds de placement...).
Fondements des mathématiquesLes fondements des mathématiques sont les principes de la philosophie des mathématiques sur lesquels est établie cette science. Le logicisme a été prôné notamment par Gottlob Frege et Bertrand Russell. La mathématique pure présente deux caractéristiques : la généralité de son discours et la déductibilité du discours mathématique . En ce que le discours mathématique ne prétend qu’à une vérité formelle, il est possible de réduire les mathématiques à la logique, les lois logiques étant les lois du « vrai ».
