HyperplanEn mathématiques et plus particulièrement en algèbre linéaire et géométrie, les hyperplans d'un espace vectoriel E de dimension quelconque sont la généralisation des plans vectoriels d'un espace de dimension 3 : ce sont les sous-espaces vectoriels de codimension 1 dans E. Si E est de dimension finie n non nulle, ses hyperplans sont donc ses sous-espaces de dimension n – 1 : par exemple l'espace nul dans une droite vectorielle, une droite vectorielle dans un plan vectoriel Soient E un espace vectoriel et H un sous-espace.
Lieu géométriqueEn mathématiques, un lieu géométrique est un ensemble de points remplissant une condition en fonction de son axe ou de son nombre de points, données par un problème de construction géométrique (par exemple à partir d'un point mobile sur une courbe) ou par des équations ou inéquations reliant des fonctions de points (notamment des distances). La médiatrice d'un segment est le lieu des points du plan à égale distance des extrémités de ce segment. L’arc capable est le lieu des points d’où l’on voit un segment sous un angle donné.
Hilbert series and Hilbert polynomialIn commutative algebra, the Hilbert function, the Hilbert polynomial, and the Hilbert series of a graded commutative algebra finitely generated over a field are three strongly related notions which measure the growth of the dimension of the homogeneous components of the algebra. These notions have been extended to filtered algebras, and graded or filtered modules over these algebras, as well as to coherent sheaves over projective schemes.
Polyhedral combinatoricsPolyhedral combinatorics is a branch of mathematics, within combinatorics and discrete geometry, that studies the problems of counting and describing the faces of convex polyhedra and higher-dimensional convex polytopes. Research in polyhedral combinatorics falls into two distinct areas. Mathematicians in this area study the combinatorics of polytopes; for instance, they seek inequalities that describe the relations between the numbers of vertices, edges, and faces of higher dimensions in arbitrary polytopes or in certain important subclasses of polytopes, and study other combinatorial properties of polytopes such as their connectivity and diameter (number of steps needed to reach any vertex from any other vertex).
Cube (algèbre)En algèbre, un cube est la puissance troisième d'un nombre. C'est-à-dire que le cube d'un nombre correspond à la valeur obtenue en multipliant ce nombre par lui-même, puis en multipliant le résultat par le nombre initial. Exemples : Le terme de cube s'est imposé à une époque où la logique de l'algèbre géométrique était omniprésente. Un nombre était toujours positif et correspondait à la longueur d'un segment. Le cube de ce nombre était vu comme le volume d'un cube de côté la longueur initiale.
Duplication du cubevignette|upright=1.2|Un cube de volume unitaire (gauche) et un cube de volume 2 (droite).À partir de la figure de gauche, il est impossible de construire par les moyens géométriques traditionnels le cube de droite.|alt=croquis de 2 cubes En mathématiques, la duplication du cube, ou problème de Délos, est un problème géométrique classique faisant partie des trois grands problèmes de l'Antiquité, avec la quadrature du cercle et la trisection de l'angle. Il consiste à construire à la règle et au compas un cube de volume double de celui d'un cube donné.
Problème de la galerie d'artvignette|Un polygone simple à 43 côtés représentant une galerie d'art, et quatre caméras couvrent cette galerie. En informatique, plus précisément en géométrie algorithmique, le problème de la galerie d'art est un problème de visibilité bien étudié inspiré d'un problème réel. Il se formule comme suit : « Quel est le nombre de gardiens (ou caméras) nécessaires pour surveiller une galerie d'art, et où faut-il les placer ? » Formellement, la galerie d'art est représenté par un polygone simple et chaque gardien par un point du polygone.
Règle de CramerLa règle de Cramer (ou méthode de Cramer) est un théorème en algèbre linéaire qui donne la solution d'un système de Cramer, c'est-à-dire un système d'équations linéaires avec autant d'équations que d'inconnues et dont le déterminant de la matrice de coefficients est non nul, sous forme de quotients de déterminants. En calcul, la méthode est moins efficace que la méthode de résolution de Gauss pour des grands systèmes (à partir de quatre équations) dont les coefficients dans le premier membre sont explicitement donnés.
Oriented matroidAn oriented matroid is a mathematical structure that abstracts the properties of directed graphs, vector arrangements over ordered fields, and hyperplane arrangements over ordered fields. In comparison, an ordinary (i.e., non-oriented) matroid abstracts the dependence properties that are common both to graphs, which are not necessarily directed, and to arrangements of vectors over fields, which are not necessarily ordered. All oriented matroids have an underlying matroid.
Bounded quantificationIn type theory, bounded quantification (also bounded polymorphism or constrained genericity) refers to universal or existential quantifiers which are restricted ("bounded") to range only over the subtypes of a particular type. Bounded quantification is an interaction of parametric polymorphism with subtyping. Bounded quantification has traditionally been studied in the functional setting of System F
