Démonstration (logique et mathématiques)vignette| : un des plus vieux fragments des Éléments d'Euclide qui montre une démonstration mathématique. En mathématiques et en logique, une démonstration est un ensemble structuré d'étapes correctes de raisonnement. Dans une démonstration, chaque étape est soit un axiome (un fait acquis), soit l'application d'une règle qui permet d'affirmer qu'une proposition, la conclusion, est une conséquence logique d'une ou plusieurs autres propositions, les prémisses de la règle.
Pseudo-inverseEn mathématiques, et plus précisément en algèbre linéaire, la notion de pseudo-inverse (ou inverse généralisé) généralise celle d’inverse d’une application linéaire ou d’une matrice aux cas non inversibles en lui supprimant certaines des propriétés demandées aux inverses, ou en l’étendant aux espaces non algébriques plus larges. En général, il n’y a pas unicité du pseudo-inverse. Son existence, pour une application linéaire entre espaces de dimension éventuellement infinie, est équivalente à l'existence de supplémentaires du noyau et de l'image.
Colonne (architecture)vignette|250px|Colonnes monumentales datant de l'Antiquité romaine du temple de Bel à Palmyre, Syrie. vignette|200px|Colonnes engagées et baguées à bossages vermiculés. La colonne est, en architecture, ameublement, sculpture et ingénierie des structures, un support vertical dont le plan est un cercle (colonne cylindrique) ou un polygone régulier à plus de quatre côtés (colonne polygonale). Elle se distingue du pilier et du pilastre. Elle est composée en principe d'une base, d'un fût et d'un chapiteau.
Bijection réciproqueEn mathématiques, la bijection réciproque (ou fonction réciproque ou réciproque) d'une bijection est l'application qui associe à chaque élément de l'ensemble d'arrivée son unique antécédent par . Elle se note . On considère l'application de vers définie par . Pour chaque réel y, il y a un et un seul réel x tel que , ainsi pour = 8, le seul convenable est 2, en revanche, pour = –27 c'est –3. En termes mathématiques, on dit que est l'unique antécédent de et que est une bijection.
Real evidenceIn evidence law, physical evidence (also called real evidence or material evidence) is any material object that plays some role in the matter that gave rise to the litigation, introduced as evidence in a judicial proceeding (such as a trial) to prove a fact in issue based on the object's physical characteristics. Tampering with evidence Spoliation of evidence It is an offense at common law "to tamper with, conceal, or destroy evidence knowing that it may be wanted in a judicial proceeding or is being sought by law enforcement officers.
Ellipse (mathématiques)Infobox Polytope | nom = Ellipse | image = Ellipse infobox.gif | légende = Représentation d'une ellipse legend|texte=F et F|Foyers | type = Section conique | aire = | périmètre = | propriétés = En géométrie, une ellipse est une courbe plane fermée obtenue par l’intersection d’un cône de révolution avec un plan, à condition que celui-ci coupe l'axe de rotation du cône ou du cylindre : c'est une conique d'excentricité strictement comprise entre 0 et 1.
Force de van der Waalsvignette|Tête et pattes avant d'un Gecko (espèce non précisée, queue en forme de feuille) En physique et en chimie, une force de van der Waals, interaction de van der Waals ou liaison de van der Waals est un potentiel interatomique dû à une interaction électrique de faible intensité entre deux atomes ou molécules, ou entre une molécule et un cristal. Elle représente la moyenne statistique de toutes les configurations possibles pour l'interaction, pondérées par leur probabilité à l'équilibre thermodynamique.
ParallélogrammeEn géométrie, un parallélogramme est un quadrilatère dont les segments diagonaux se coupent en leur milieu. En géométrie purement affine, un quadrilatère (ABCD) est un parallélogramme (au sens défini en introduction) si et seulement s'il satisfait l'une des propriétés équivalentes suivantes : les vecteurs et sont égaux ; les vecteurs et sont égaux. Si de plus les quatre sommets sont trois à trois non alignés, ces propriétés sont aussi équivalentes à la suivante : les côtés opposés sont parallèles deux à deux, c'est-à-dire : (AB) // (CD) et (AD) // (BC).
Steiner ellipseIn geometry, the Steiner ellipse of a triangle, also called the Steiner circumellipse to distinguish it from the Steiner inellipse, is the unique circumellipse (ellipse that touches the triangle at its vertices) whose center is the triangle's centroid. Named after Jakob Steiner, it is an example of a circumconic. By comparison the circumcircle of a triangle is another circumconic that touches the triangle at its vertices, but is not centered at the triangle's centroid unless the triangle is equilateral.
QuadrivecteurEn physique, un quadrivecteur est un vecteur à quatre dimensions utilisé pour représenter un événement dans l'espace-temps. Dans la théorie de la relativité restreinte, un quadrivecteur est un vecteur de l'espace de Minkowski, où un changement de référentiel se fait par des transformations de Lorentz (par covariance des coordonnées). En relativité restreinte, un quadrivecteur (ou 4-vecteur) est un vecteur appartenant à l'espace vectoriel associé à l'espace affine qu'est l'espace-temps.
Type systemIn computer programming, a type system is a logical system comprising a set of rules that assigns a property called a type (for example, integer, floating point, string) to every "term" (a word, phrase, or other set of symbols). Usually the terms are various constructs of a computer program, such as variables, expressions, functions, or modules. A type system dictates the operations that can be performed on a term. For variables, the type system determines the allowed values of that term.
Demi-groupe inversifEn mathématiques, et notamment en algèbre, un demi-groupe inversif est un demi-groupe où tout élément a un inverse unique au sens des demi-groupes : pour tout élément de , il existe un élément unique de tel que et . Les demi-groupes inversifs apparaissent dans un certain nombre de contextes. L'exemple le plus courant est le demi-groupe des bijections partielles d'une ensemble dans lui-même appelé le demi-groupe inversif symétrique ou monoïde inversif symétrique sur cet ensemble.
