Cinétique chimiqueLa cinétique chimique est l'étude de la vitesse des réactions chimiques. Sur le plan disciplinaire, elle fait partie de la chimie physique. Certaines réactions sont totales et très rapides, voire instantanées, comme les explosions. D'autres sont tellement lentes qu'elles durent plusieurs années (comme la formation de la rouille), voire plusieurs siècles (comme la formation du charbon ou du pétrole). Certaines sont même tellement lentes que les réactifs de départ sont considérés comme stables, par exemple la transformation du diamant en carbone graphite.
Essential singularityIn complex analysis, an essential singularity of a function is a "severe" singularity near which the function exhibits odd behavior. The category essential singularity is a "left-over" or default group of isolated singularities that are especially unmanageable: by definition they fit into neither of the other two categories of singularity that may be dealt with in some manner – removable singularities and poles. In practice some include non-isolated singularities too; those do not have a residue.
Removable singularityIn complex analysis, a removable singularity of a holomorphic function is a point at which the function is undefined, but it is possible to redefine the function at that point in such a way that the resulting function is regular in a neighbourhood of that point. For instance, the (unnormalized) sinc function, as defined by has a singularity at z = 0. This singularity can be removed by defining which is the limit of sinc as z tends to 0. The resulting function is holomorphic.
Tagged unionIn computer science, a tagged union, also called a variant, variant record, choice type, discriminated union, disjoint union, sum type or coproduct, is a data structure used to hold a value that could take on several different, but fixed, types. Only one of the types can be in use at any one time, and a tag field explicitly indicates which one is in use. It can be thought of as a type that has several "cases", each of which should be handled correctly when that type is manipulated.
RésultantEn mathématiques, le résultant, ou déterminant de Sylvester, est une notion qui s'applique à deux polynômes. Elle est utilisée en théorie de Galois, en théorie algébrique des nombres, en géométrie algébrique et dans bien d'autres domaines utilisant les polynômes. Le résultant de deux polynômes est un scalaire qui est nul si, et seulement si, les deux polynômes ont un facteur commun. Il peut être calculé à partir des coefficients des polynômes à l'aide d'un déterminant.
Point de rebroussementEn mathématiques, on appelle point de rebroussement, fronce (selon René Thom) ou parfois , selon la terminologie anglaise, un type particulier de point singulier sur une courbe. Dans le cas d'une courbe admettant une équation , les points de rebroussement ont les propriétés : La matrice hessienne (la matrice des dérivées secondes) a un déterminant nul. L'étude de la géométrie d'une courbe, algébrique ou analytique, au voisinage d'un tel point, repose notamment sur la notion d'éclatement.
Singularité annulairevignette|Horizons des événements et ergosphères d'un trou noir en rotation ; la singularité annulaire est située au niveau du nœud équatorial de l'ergosphère interne à R=a. En relativité générale, une singularité annulaire (de l'anglais ring singularity ou ringularity) est la singularité gravitationnelle d'un trou noir en rotation qui prend la forme d'un anneau. S'intégrant dans la métrique de Kerr, ce concept et sa géométrie continuent d'être l'objet de nombreux travaux scientifiques.
Théorème de BézoutLe théorème de Bézout, attribué à Étienne Bézout, affirme que deux courbes algébriques projectives planes de degrés m et n, définies sur un corps algébriquement clos et sans composante irréductible commune, ont exactement mn points d'intersection, comptés avec leur multiplicité. La forme faible du théorème dit que le nombre d'intersections (sans tenir compte des multiplicités) est majoré par . Autrement dit, si sont deux polynômes homogènes à coefficients dans (avec et ) de degrés respectifs et sans facteur commun, alors le système admet au plus solutions dans le plan projectif .
Théorie de l'éliminationEn algèbre commutative et en géométrie algébrique, la théorie de l'élimination traite de l'approche algorithmique de l'élimination de variables entre polynômes. Le cas linéaire est maintenant couramment traité par élimination de Gauss, plus efficace que la méthode de Cramer. De même, des algorithmes d'élimination s'appuient sur des calculs de bases de Gröbner, alors qu'il existe des publications anciennes sur divers types d'« éliminants », comme le résultant pour trouver les racines communes à deux polynômes, le discriminant, etc.
Géométrie birationnellethumb|right|Le cercle est birationnellement équivalent à la droite. Un exemple d'application birationnelle est la projection stéréographique, représentée ici ; avec les notations du texte, P a pour abscisse 1/t. En mathématiques, la géométrie birationnelle est un domaine de la géométrie algébrique dont l'objectif est de déterminer si deux variétés algébriques sont isomorphes, à un ensemble négligeable près. Cela revient à étudier des applications définies par des fonctions rationnelles plutôt que par des polynômes, ces applications n'étant pas définies aux pôles des fonctions.
