Théorème isopérimétriqueEn mathématiques, et plus précisément en géométrie, un théorème isopérimétrique est une généralisation des résultats plus élémentaires d'isopérimétrie montrant par exemple que le disque est, à périmètre donné, la figure ayant la plus grande aire. Les questions traitées par cette généralisation concernent les compacts d'un espace métrique muni d'une mesure. Un exemple simple est donné par les compacts d'un plan euclidien. Les compacts concernés sont ceux de mesures finies ayant une frontière aussi de mesure finie.
Diamètrethumb|Diamètre d'un cercle. La notion de diamètre concerne initialement les figures simples de la géométrie euclidienne que sont le cercle et la sphère mais la notion s'élargit par analogie à plusieurs autres objets géométriques. Dans un cercle ou une sphère, le diamètre est un segment de droite passant par le centre et limité par les points du cercle ou de la sphère. Le diamètre est aussi la longueur de ce segment. Le diamètre d'un objet cylindrique ou sphérique est appelé module.
Entier (informatique)En informatique, un entier est un type de donnée qui représente un sous-ensemble fini de nombres entiers relatifs. On utilise aussi le terme type de données entières (integral type data). Un type de donnée est la nature des valeurs que peut prendre une donnée. Certains traitements comme le recensement des États-Unis ont d'abord été effectués en utilisant une représentation décimale à l'aide de cartes perforées. Le système décimal utilise dix chiffres (0, 1, 2, 3, 4, 5, 6, 7, 8, 9) et où leur position correspond à une puissance de 10 (1, 10, 100, 1000, etc.
Face (géométrie)vignette|Un cube : les surfaces en rouge sont les faces du cube. Chaque sommet est entouré par trois faces. En géométrie, les faces d'un polyèdre sont les polygones qui le bordent. Par exemple, un cube possède six faces qui sont des carrés. Le suffixe èdre (dans polyèdre) est dérivé du grec hedra, qui signifie face. Par extension, les faces d'un polytope de dimension n sont tous les polytopes de dimension strictement inférieure à n qui le bordent (et pas seulement ceux de dimension n-1).
Vertex arrangementIn geometry, a vertex arrangement is a set of points in space described by their relative positions. They can be described by their use in polytopes. For example, a square vertex arrangement is understood to mean four points in a plane, equal distance and angles from a center point. Two polytopes share the same vertex arrangement if they share the same 0-skeleton. A group of polytopes that shares a vertex arrangement is called an army. The same set of vertices can be connected by edges in different ways.
CubeEn géométrie euclidienne, un cube est un prisme droit dont toutes les faces sont carrées donc égales et superposables. Le cube figure parmi les solides les plus remarquables de l'espace. C'est le seul des cinq solides de Platon ayant exactement 6 faces, 12 arêtes et 8 sommets. Son autre nom est « hexaèdre régulier ». Le cube est un zonoèdre à trois générateurs. Comme il a quatre sommets par face et trois faces par sommet, son symbole de Schläfli est {4,3}. L'étymologie du mot cube est grecque ; cube provient de kubos, le dé.
Théorème de la base de HilbertIn mathematics, specifically commutative algebra, Hilbert's basis theorem says that a polynomial ring over a Noetherian ring is Noetherian. If is a ring, let denote the ring of polynomials in the indeterminate over . Hilbert proved that if is "not too large", in the sense that if is Noetherian, the same must be true for . Formally, Hilbert's Basis Theorem. If is a Noetherian ring, then is a Noetherian ring. Corollary. If is a Noetherian ring, then is a Noetherian ring.
Configuration de sommetEn géométrie, une configuration de sommet est une notation abrégée pour représenter la figure de sommet d'un polyèdre ou d'un pavage comme la séquence de faces autour d'un sommet. Pour les polyèdres uniformes, il n'y a qu'un seul type de sommet et, par conséquent, la configuration des sommets définit entièrement le polyèdre. (Les polyèdres chiraux existent dans des paires d'images miroir avec la même configuration de sommet). Une configuration de sommet est donnée sous la forme d'une suite de nombres représentant le nombre de côtés des faces faisant le tour du sommet.
Time hierarchy theoremIn computational complexity theory, the time hierarchy theorems are important statements about time-bounded computation on Turing machines. Informally, these theorems say that given more time, a Turing machine can solve more problems. For example, there are problems that can be solved with n2 time but not n time. The time hierarchy theorem for deterministic multi-tape Turing machines was first proven by Richard E. Stearns and Juris Hartmanis in 1965. It was improved a year later when F. C. Hennie and Richard E.
ParallelohedronIn geometry, a parallelohedron is a polyhedron that can be translated without rotations in 3-dimensional Euclidean space to fill space with a honeycomb in which all copies of the polyhedron meet face-to-face. There are five types of parallelohedron, first identified by Evgraf Fedorov in 1885 in his studies of crystallographic systems: the cube, hexagonal prism, rhombic dodecahedron, elongated dodecahedron, and truncated octahedron. Every parallelohedron is a zonohedron, a centrally symmetric polyhedron with centrally symmetric faces.