Matrice involutiveIn mathematics, an involutory matrix is a square matrix that is its own inverse. That is, multiplication by the matrix A is an involution if and only if A2 = I, where I is the n × n identity matrix. Involutory matrices are all square roots of the identity matrix. This is simply a consequence of the fact that any invertible matrix multiplied by its inverse is the identity. The 2 × 2 real matrix is involutory provided that The Pauli matrices in M(2, C) are involutory: One of the three classes of elementary matrix is involutory, namely the row-interchange elementary matrix.
Matrice nulleEn mathématiques, et en particulier en algèbre linéaire, une matrice nulle est une matrice dont tous les coefficients sont nuls. Des exemples de matrices nulles sont : L'ensemble des matrices de dimension à coefficients dans un anneau forme un anneau . La matrice nulle , dans est la matrice ayant tous les coefficients égaux à , où est l'élément neutre additif de . La matrice nulle est l'élément neutre additif de .
Angles d'EulerEn mécanique et en mathématiques, les angles d'Euler sont des angles introduits par Leonhard Euler (1707-1783) pour décrire l'orientation d'un solide ou celle d'un référentiel par rapport à un trièdre cartésien de référence. Au nombre de trois, ils sont appelés angle de précession, de nutation et de rotation propre, les deux premiers pouvant être vus comme une généralisation des deux angles des coordonnées sphériques. Le mouvement d'un solide par rapport à un référentiel (un avion dans l'air, un sous-marin dans l'eau, des skis sur une pente.
Outlook.comOutlook.com est un service de messagerie web gratuit de la société Microsoft. Créé en 1996 par Jack Smith sous le nom de « Hotmail », ce service est acquis en 1997 par Microsoft, qui le renomme MSN Hotmail, puis Windows Live Hotmail. Jack Smith eut l'idée d'accéder à une adresse de courrier électronique depuis n'importe quel ordinateur à travers le monde. Quand Sabeer Bhatia lui proposa la création d'une entreprise, il cherche un nom finissant par « mail ». Il finit par choisir le terme HoTMaiL reprenant les consonnes du sigle HTML.
Matrice diagonaleEn algèbre linéaire, une matrice diagonale est une matrice carrée dont les coefficients en dehors de la diagonale principale sont nuls. Les coefficients de la diagonale peuvent être ou ne pas être nuls. Une matrice diagonale est une matrice qui correspond à la représentation d'un endomorphisme diagonalisable dans une base de vecteurs propres. La matrice d'un endomorphisme diagonalisable est semblable à une matrice diagonale. Toute matrice diagonale est symétrique, normale et triangulaire.
AntirotationEn géométrie, une antirotation est un type particulier d'antidéplacement ( d'isométrie qui renverse l'orientation) de l'espace euclidien de dimension 3 (espace affine euclidien ou espace vectoriel euclidien, suivant le contexte) : c'est la composée de deux transformations qui commutent : une rotation d'angle autour d'un axe et d'une réflexion par rapport à un plan perpendiculaire à cet axe, ce qui lui vaut aussi le nom de roto-réflexion, ou rotation-réflexion.
Type dépendantEn Informatique et en Logique, un type dépendant est un type qui peut dépendre d'une valeur définie dans le langage typé. Les langages Agda et Gallina (de l'assistant de preuve Coq) sont des exemples de langages à type dépendant. Les types dépendants permettent par exemple de définir le type des listes à n éléments. Voici un exemple en Coq. Inductive Vect (A: Type): nat -> Type := | nil: Vect A 0 | cons (n: nat) (x: A) (t: Vect A n): Vect A (S n).
Symmetry operationIn group theory, geometry, representation theory and molecular geometry, a symmetry operation is a geometric transformation of an object that leaves the object looking the same after it has been carried out. For example, as transformations of an object in space, rotations, reflections and inversions are all symmetry operations. Such symmetry operations are performed with respect to symmetry elements (for example, a point, line or plane).
Conversion de typeEn informatique la conversion de type, le transtypage ou la coercition (cast en anglais) est le fait de convertir une valeur d'un type (source) dans un autre (cible). On distingue trois formes de conversion (dont un seul mérite vraiment le nom de conversion) suivant la relation de sous-typage existant entre les types source et cible : la conversion entre types incomparables ; la coercition ascendante (transtypage vers le haut) ; la coercition descendante (transtypage vers le bas). C'est la coercition la plus ancienne historiquement.
Search engineA search engine is a software system that finds web pages that match a web search. They search the World Wide Web in a systematic way for particular information specified in a textual web search query. The search results are generally presented in a line of results, often referred to as search engine results pages (SERPs). The information may be a mix of hyperlinks to web pages, images, videos, infographics, articles, and other types of files. Some search engines also mine data available in databases or open directories.
SupersymétrieLa supersymétrie (abrégée en SuSy) est une symétrie supposée de la physique des particules qui postule une relation profonde entre les particules de spin demi-entier (les fermions) qui constituent la matière et les particules de spin entier (les bosons) véhiculant les interactions. Dans le cadre de la SuSy, chaque fermion est associé à un « superpartenaire » de spin entier, alors que chaque boson est associé à un « superpartenaire » de spin demi-entier.
3D rotation groupIn mechanics and geometry, the 3D rotation group, often denoted SO(3), is the group of all rotations about the origin of three-dimensional Euclidean space under the operation of composition. By definition, a rotation about the origin is a transformation that preserves the origin, Euclidean distance (so it is an isometry), and orientation (i.e., handedness of space). Composing two rotations results in another rotation, every rotation has a unique inverse rotation, and the identity map satisfies the definition of a rotation.
