Courant circumpolaire antarctiquethumb|Carte du courant circumpolaire antarctique Le courant circumpolaire antarctique (aussi nommé Grande dérive d'Ouest) est le courant marin de l’océan Austral qui coule d'ouest en est autour de l'Antarctique. Il est issu de l'ouverture du passage de Drake il y a environ 33 millions d'années consacrant la séparation définitive de l'Antarctique de l'Amérique du Sud. Cette ouverture a eu des implications majeures, induisant un refroidissement global du climat, ainsi que la formation d'une calotte polaire pérenne sur l'Antarctique.
Coordonnées polairesvignette|upright=1.4|En coordonnées polaires, la position du point M est définie par la distance r et l'angle θ. vignette|upright=1.4|Un cercle découpé en angles mesurés en degrés. Les coordonnées polaires sont, en mathématiques, un système de coordonnées curvilignes à deux dimensions, dans lequel chaque point du plan est entièrement déterminé par un angle et une distance. Ce système est particulièrement utile dans les situations où la relation entre deux points est plus facile à exprimer en termes d’angle et de distance, comme dans le cas du pendule.
Flux électriqueEn électromagnétisme, le flux électrique est le flux du champ électrique à travers une surface. Contrairement au flux magnétique, cette grandeur ne présente pas d'intérêt particulier en électromagnétisme dans le cas général. Sa seule caractéristique notable est que sur le plan théorique, le flux électrique à travers une surface fermée est proportionnelle à la charge électrique du volume correspondant. Le flux électrique n'étant pas une grandeur mesurable, cette propriété n'a pas d'application pratique.
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.
