Relativité restreinteLa relativité restreinte est la théorie élaborée par Albert Einstein en 1905 en vue de tirer toutes les conséquences physiques de la relativité galiléenne et du principe selon lequel la vitesse de la lumière dans le vide a la même valeur dans tous les référentiels galiléens (ou inertiels), ce qui était implicitement énoncé dans les équations de Maxwell (mais interprété bien différemment jusque-là, avec « l'espace absolu » de Newton et léther).
W-algebraIn conformal field theory and representation theory, a W-algebra is an associative algebra that generalizes the Virasoro algebra. W-algebras were introduced by Alexander Zamolodchikov, and the name "W-algebra" comes from the fact that Zamolodchikov used the letter W for one of the elements of one of his examples. A W-algebra is an associative algebra that is generated by the modes of a finite number of meromorphic fields , including the energy-momentum tensor . For , is a primary field of conformal dimension .
Théorème de RolleEn mathématiques, et plus précisément en analyse, le théorème de Rolle (souvent mentionné sous le nom de lemme de Rolle), en référence à Michel Rolle, est un résultat fondamental concernant la dérivée d'une fonction réelle d'une variable réelle. Il énonce que si une fonction dérivable prend la même valeur en deux points, alors sa dérivée s'annule au moins une fois entre ces deux points.
Théorème des accroissements finisEn analyse, le théorème des accroissements finis (en abrégé : TAF) est à la fois une généralisation et un corollaire du théorème de Rolle. Pour toute fonction dérivable d'une variable réelle, son taux d'accroissement entre deux valeurs est réalisable comme pente d'une des tangentes à son graphe. Graphiquement, le théorème des accroissements finis indique que, pour toute droite sécante en deux points à une courbe différentiable, il existe, entre ces deux points, une tangente parallèle à la sécante.
Trou de vervignette|Exemple de trou de ver dans une métrique de Schwarzschild, tel qu'il serait vu par un observateur ayant franchi l'horizon du trou noir. La région d'où vient l'observateur est située à droite de l'image. Mise à part la région située près de l'ombre du trou noir, les effets de décalage vers le rouge gravitationnel rendent le fond du ciel très sombre. Celui-ci est en revanche très lumineux dans la seconde région, visible une fois l'horizon passé.
Function typeIn computer science and mathematical logic, a function type (or arrow type or exponential) is the type of a variable or parameter to which a function has or can be assigned, or an argument or result type of a higher-order function taking or returning a function. A function type depends on the type of the parameters and the result type of the function (it, or more accurately the unapplied type constructor · → ·, is a higher-kinded type).
Dernier théorème de FermatEn mathématiques, et plus précisément en théorie des nombres, le dernier théorème de Fermat, ou grand théorème de Fermat, ou depuis sa démonstration théorème de Fermat-Wiles, s'énonce comme suit : Énoncé par Pierre de Fermat d'une manière similaire dans une note marginale de son exemplaire d'un livre de Diophante, il a cependant attendu plus de trois siècles une preuve publiée et validée, établie par le mathématicien britannique Andrew Wiles en 1994.
