Paquet d'ondeEn physique, un paquet d'onde, ou train d'onde, est une enveloppe ou un paquet contenant un nombre arbitraire d'ondes élémentaires. Il existe aussi des demi paquets d'onde, qui sont des paquets d'onde scindés en quadrature de phase. En mécanique quantique, le paquet d'onde possède une signification particulière : il est interprété comme étant une onde de probabilité qui décrit la probabilité pour une particule (ou des particules) dans un état donné d'avoir une position et une quantité de mouvement données.
Objectif grand angleUn objectif grand angle est un objectif à courte focale. L'effet de cette courte focale est de permettre un cadrage large d'objets rapprochés dont on ne peut pas s'éloigner. Par exemple, il peut servir à photographier un paysage dans son ensemble sous la forme d'un panorama. On peut choisir aussi d'utiliser ces objectifs pour accentuer les perspectives. L'effet de perspective d'un grand angle tend à faire paraître divers plans d'une même image plus éloignés les uns des autres qu'en réalité, à l'opposé des téléobjectifs qui tendent plutôt à les sujets dans un seul et même plan.
Analyticity of holomorphic functionsIn complex analysis, a complex-valued function of a complex variable : is said to be holomorphic at a point if it is differentiable at every point within some open disk centered at , and is said to be analytic at if in some open disk centered at it can be expanded as a convergent power series (this implies that the radius of convergence is positive). One of the most important theorems of complex analysis is that holomorphic functions are analytic and vice versa.
RadianLe radian (symbole : rad) est l'unité d'angle (plan ou dièdre) du Système international. Par définition, un angle ayant son sommet au centre d'un cercle a une mesure d'un radian s'il intercepte, sur la circonférence de ce cercle, un arc d'une longueur égale à celle du rayon du cercle. Bien que le mot « radian » ait été inventé au cours des années 1870 par Thomas Muir et James Thomson, les mathématiciens mesuraient depuis longtemps les angles en prenant pour unité le rapport entre la circonférence et la longueur du rayon.
Normal form (abstract rewriting)In abstract rewriting, an object is in normal form if it cannot be rewritten any further, i.e. it is irreducible. Depending on the rewriting system, an object may rewrite to several normal forms or none at all. Many properties of rewriting systems relate to normal forms. Stated formally, if (A,→) is an abstract rewriting system, x∈A is in normal form if no y∈A exists such that x→y, i.e. x is an irreducible term. An object a is weakly normalizing if there exists at least one particular sequence of rewrites starting from a that eventually yields a normal form.
Confluence (informatique)vignette|Le nom « confluence » est le même que celui utilisé en géographie : deux cours d'eau se rejoignent. En mathématiques, ou en informatique, la confluence d'une relation binaire est définie comme la propriété suivante : Pour tous éléments tels que et , il existe un élément tel que et . La confluence est équivalente à la propriété de Church-Rosser. La confluence locale est une propriété plus faible que la confluence, utile pour les systèmes de réécriture. Elle est définie par : Pour tous éléments tels que et , il existe un élément tel que et .
