Nombre hyperréelvignette|Représentation des infinitésimaux (ε) et infinis (ω) sur la droite des nombres hyperréels (1/ε = ω)|520x520px En mathématiques, le corps ordonné des nombres hyperréels constitue une extension, notée *R, des nombres réels usuels, permettant de donner un sens rigoureux aux notions de quantité infiniment petite ou infiniment grande. On peut éviter alors l'emploi des passages à la limite et des expressions conditionnées par une valeur ε « aussi petite que l’on veut ».
Algèbre de quaternionsEn mathématiques, une algèbre de quaternions sur un corps commutatif K est une K-algèbre de dimension 4 qui généralise à la fois le corps des quaternions de Hamilton et l'algèbre des matrices carrées d'ordre 2. Pour être plus précis, ce sont les algèbres centrales simples sur K de degré 2. Dans cet article, on note K un corps commutatif (de caractéristique quelconque). On appelle algèbre de quaternions sur K toute algèbre (unitaire et associative) A de dimension 4 sur K qui est simple (c'est-à-dire que A et {0} sont les seuls idéaux bilatères) et dont le centre est K.
Forme paraboliqueEn mathématiques, une forme parabolique (parfois appelée forme cuspidale, selon l'anglais cusp form) est une forme modulaire vérifiant des conditions d'annulation aux pointes. La parabole est une des trois coniques (avec l'hyperbole, et l'ellipse dont le cercle peut être considéré comme un cas particulier) découvertes par les mathématiciens grecs en tant qu'intersection d'un cône par un plan (du grec kônos). vignette|302x302px|Équation réduite y2 = 2px, paramètre de la parabole Nom de la fonction associée : trinôme du second degré.
Réseau (sous-groupe discret)En théorie des groupes le terme réseau désigne un sous-groupe d'un groupe topologique localement compact vérifiant les conditions suivantes : est discret dans , ce qui est équivalent à la condition qu'il existe un voisinage ouvert de l'identité de tel que ; est de covolume fini dans , c'est-à-dire qu'il existe sur l'espace quotient une mesure Borélienne de masse totale finie et invariante par (agissant par translations à droite). Un réseau est dit uniforme quand le quotient est compact. On dit alors que est un réseau de .
Hermitian manifoldIn mathematics, and more specifically in differential geometry, a Hermitian manifold is the complex analogue of a Riemannian manifold. More precisely, a Hermitian manifold is a complex manifold with a smoothly varying Hermitian inner product on each (holomorphic) tangent space. One can also define a Hermitian manifold as a real manifold with a Riemannian metric that preserves a complex structure. A complex structure is essentially an almost complex structure with an integrability condition, and this condition yields a unitary structure (U(n) structure) on the manifold.
Corps localEn mathématiques, un corps local est un corps commutatif topologique localement compact pour une topologie non discrète. Sa topologie est alors définie par une valeur absolue. Les corps locaux interviennent de façon fondamentale en théorie algébrique des nombres. Si k est un corps fini, le corps k((X)) des séries formelles de Laurent à coefficients dans k est un corps local. Tout complété d'un corps de nombres (ou plus généralement un corps global) pour une valuation non triviale est un corps local.
Crible algébriqueEn théorie des nombres, l'algorithme du crible du corps de nombres généralisé (GNFS) obtient la décomposition d'un entier en produit de facteurs premiers. C'est à l'heure actuelle (2018) l'algorithme le plus efficace connu pour obtenir cette décomposition, lorsque le nombre considéré est assez grand, c'est-à-dire au-delà d'environ 10100, et ne possède pas de structure remarquable. Cette efficacité est due pour partie à l'utilisation d'une méthode de crible et pour partie à l'utilisation d'algorithmes efficaces pour certaines opérations (comme la manipulation de matrices creuses).
Forme modulaireEn mathématiques, une forme modulaire est une fonction analytique sur le demi-plan de Poincaré satisfaisant à une certaine sorte d'équation fonctionnelle et de condition de croissance. La théorie des formes modulaires est par conséquent dans la lignée de l'analyse complexe mais l'importance principale de la théorie tient dans ses connexions avec le théorème de modularité et la théorie des nombres.
Robert LanglandsRobert Langlands, né le en Colombie-Britannique au Canada, est un des mathématiciens majeurs du . Il introduit des idées nouvelles et profondes en théorie des nombres et en théorie des représentations. Robert Langlands soutient son doctorat à l'université Yale en 1960. Pendant les années 1960, il développe la théorie des séries d'Eisenstein introduite par Atle Selberg. Ses travaux qui suivent ont un grand impact mathématique. De 1967 à 1972, il travaille à l'Université Yale.
Dual quaternionIn mathematics, the dual quaternions are an 8-dimensional real algebra isomorphic to the tensor product of the quaternions and the dual numbers. Thus, they may be constructed in the same way as the quaternions, except using dual numbers instead of real numbers as coefficients. A dual quaternion can be represented in the form A + εB, where A and B are ordinary quaternions and ε is the dual unit, which satisfies ε2 = 0 and commutes with every element of the algebra. Unlike quaternions, the dual quaternions do not form a division algebra.
