Quadruplet premierEn théorie des nombres, un quadruplet premier est une suite de quatre nombres premiers consécutifs de la forme (p, p+2, p+6, p+8). C'est la seule forme possible pour quatre nombres premiers consécutifs d'écarts entre eux minimaux, en dehors des quadruplets (2,3,5,7) et (3,5,7,11). Par exemple (5, 7, 11, 13) et (11, 13, 17, 19) sont des quadruplets premiers. Un quadruplet de nombres premiers impairs consécutifs a un écart entre le plus petit et le plus grand de ces nombres d'au moins 6, il ne peut être de 6 car le seul triplet de nombres premiers consécutifs de la forme (p, p+2, p+4) est (3, 5, 7) (voir triplet premier).
Metrizable topological vector spaceIn functional analysis and related areas of mathematics, a metrizable (resp. pseudometrizable) topological vector space (TVS) is a TVS whose topology is induced by a metric (resp. pseudometric). An LM-space is an inductive limit of a sequence of locally convex metrizable TVS.
Théorie de la démonstrationLa théorie de la démonstration, aussi connue sous le nom de théorie de la preuve (de l'anglais proof theory), est une branche de la logique mathématique. Elle a été fondée par David Hilbert au début du . Hilbert a proposé cette nouvelle discipline mathématique lors de son célèbre exposé au congrès international des mathématiciens en 1900 avec pour objectif de démontrer la cohérence des mathématiques.
Loi des gaz parfaitsvignette|Isothermes d'un gaz parfait (diagramme (P,V,T)). La relation entre la pression P et le volume V est hyperbolique . En physique, et plus particulièrement en thermodynamique, la loi des gaz parfaits, ou équation des gaz parfaits, est l'équation d'état applicable aux gaz parfaits. Elle a été établie en 1834 par Émile Clapeyron par combinaison de plusieurs lois des gaz établies antérieurement. Cette équation s'écrit : avec : la pression (Pa) ; le volume du gaz (m3) ; la quantité de matière (mol) ; la constante universelle des gaz parfaits (≈ ) ; la température absolue (K).
Polynômethumb|Courbe représentative d'une fonction cubique. En mathématiques, un polynôme est une expression formée uniquement de produits et de sommes de constantes et d'indéterminées, habituellement notées X, Y, Z... Ces objets sont largement utilisés en pratique, ne serait-ce que parce qu'ils donnent localement une valeur approchée de toute fonction dérivable (voir l'article Développement limité) et permettent de représenter des formes lisses (voir l'article Courbe de Bézier, décrivant un cas particulier de fonction polynomiale).
Entier quadratiqueEn mathématiques, un entier quadratique est un nombre complexe, racine d'un polynôme unitaire du second degré à coefficients entiers. La notion de nombre algébrique de degré inférieur ou égal à 2 est plus générale : elle correspond à un nombre complexe, racine d'un polynôme du second degré à coefficients seulement rationnels. Ces nombres particuliers disposent de propriétés algébriques.
Dimension theory (algebra)In mathematics, dimension theory is the study in terms of commutative algebra of the notion dimension of an algebraic variety (and by extension that of a scheme). The need of a theory for such an apparently simple notion results from the existence of many definitions of dimension that are equivalent only in the most regular cases (see Dimension of an algebraic variety).
Anneau des entiersEn algèbre commutative, l'anneau des entiers est une construction que l'on peut obtenir à partir de tout corps de nombres en considérant ses éléments entiers. Par exemple, l'anneau des entiers de est . Il existe des algorithmes efficaces pour calculer cet anneau pour tout corps de nombres. La notion peut en fait être étendue à d'autres objets (notamment les corps de fonctions), et porte une interprétation géométrique. Élément entier Soit K un corps de nombres. Un élément de K est dit entier s'il est racine d'un polynôme unitaire à coefficients dans .
Espace topologiqueLa topologie générale est une branche des mathématiques qui fournit un vocabulaire et un cadre général pour traiter des notions de limite, de continuité, et de voisinage. Les espaces topologiques forment le socle conceptuel permettant de définir ces notions. Elles sont suffisamment générales pour s'appliquer à un grand nombre de situations différentes : ensembles finis, ensembles discrets, espaces de la géométrie euclidienne, espaces numériques à n dimensions, espaces fonctionnels plus complexes, mais aussi en géométrie algébrique.
Module artinienEn théorie des anneaux, un module artinien (du nom d'Emil Artin) est un module vérifiant la condition de chaîne descendante. On dit qu'un module M vérifie la condition de chaîne descendante si toute suite décroissante de sous-modules de M est stationnaire. Cela équivaut à dire que tout ensemble non vide de sous-modules de M admet un élément minimal (pour la relation d'inclusion). Tout module fini est artinien. En particulier, tout groupe abélien fini est artinien (en tant que Z-module).
Proof (truth)A proof is sufficient evidence or a sufficient argument for the truth of a proposition. The concept applies in a variety of disciplines, with both the nature of the evidence or justification and the criteria for sufficiency being area-dependent. In the area of oral and written communication such as conversation, dialog, rhetoric, etc., a proof is a persuasive perlocutionary speech act, which demonstrates the truth of a proposition.
3D displayA 3D display is a display device capable of conveying depth to the viewer. Many 3D displays are stereoscopic displays, which produce a basic 3D effect by means of stereopsis, but can cause eye strain and visual fatigue. Newer 3D displays such as holographic and light field displays produce a more realistic 3D effect by combining stereopsis and accurate focal length for the displayed content. Newer 3D displays in this manner cause less visual fatigue than classical stereoscopic displays.
