Convergence de mesuresEn mathématiques, plus spécifiquement en théorie des mesures, il existe différentes notions de convergence de mesures . Pour un sens général intuitif de ce que l'on entend par convergence en mesure, considérons une suite de mesures sur un espace, partageant une collection commune d'ensembles mesurables. Une telle suite pourrait représenter une tentative de construire des approximations «de mieux en mieux» d'une mesure souhaitée qui est difficile à obtenir directement.
Fraction continue de GaussEn analyse complexe, une fraction continue de Gauss est un cas particulier de fraction continue dérivé des fonctions hypergéométriques. Ce fut l'un des premiers exemples de fractions continues analytiques. Elles permettent de représenter des fonctions élémentaires importantes, ainsi que des fonctions spéciales transcendantes plus compliquées. Lambert a publié quelques exemples de fractions continues généralisées de cette forme en 1768, démontrant entre autres l'irrationalité de π ( § « Applications à F » ci-dessous).
Formule de fraction continue d'EulerEn théorie analytique des nombres, la formule de fraction continue d'Euler est une identité reliant les séries aux fractions continues généralisées, publiée par Leonhard Euler en 1748 et utile dans l'étude du problème de convergence général pour les fractions continues à coefficients complexes. Euler a établi une identité dont la transcription est, en notation de Pringsheim : cette égalité signifiant seulement que les sommes partielles de la série de gauche sont égales aux réduites de la fraction continue de droite, autrement dit : Il trouve simplement cette formule par une analyse rétrograde des relations fondamentales sur les réduites.
Pivignette|Si le diamètre du cercle est 1, sa circonférence est π. π (pi), appelé parfois constante d’Archimède, est un nombre représenté par la lettre grecque du même nom en minuscule (π). C’est le rapport constant de la circonférence d’un cercle à son diamètre dans un plan euclidien. On peut également le définir comme le rapport de l'aire d'un disque au carré de son rayon. Sa valeur approchée par défaut à moins de 0,5×10 près est en écriture décimale.
ATLAS (détecteur)thumb|Le détecteur ATLAS vers la fin février 2006 ATLAS (acronyme de A Toroidal LHC ApparatuS : - dispositif instrumental toroïdal pour le LHC - qui utilise un électro-aimant toroïdal où le champ magnétique se referme sur lui-même dans l'air, sans l'aide d'un retour de fer) est l'une des du collisionneur LHC au CERN. Il s'agit d'un détecteur de particules semblable à CMS, mais de plus grande taille et de conception différente. Il a pour tâche de détecter le boson de Higgs, des particules supersymétriques (SUSY).
Produit infiniEn mathématiques, étant donné une suite de nombres complexes , on définit le produit infini de la suite comme la limite, si elle existe, des produits partiels quand N tend vers l'infini ; De même qu'une série utilise la lettre Σ, un produit infini utilise la lettre grecque Π (pi majuscule) : Dans le cas où tous les termes de la suite sont non nuls, on dit que le produit infini, noté , converge quand la suite des produits partiels converge vers une limite non nulle ; sinon, on dit que le produit infini diverg
Lambda-calculLe lambda-calcul (ou λ-calcul) est un système formel inventé par Alonzo Church dans les années 1930, qui fonde les concepts de fonction et d'application. On y manipule des expressions appelées λ-expressions, où la lettre grecque λ est utilisée pour lier une variable. Par exemple, si M est une λ-expression, λx.M est aussi une λ-expression et représente la fonction qui à x associe M. Le λ-calcul a été le premier formalisme pour définir et caractériser les fonctions récursives : il a donc une grande importance dans la théorie de la calculabilité, à l'égal des machines de Turing et du modèle de Herbrand-Gödel.
Lambda liftingLambda lifting is a meta-process that restructures a computer program so that functions are defined independently of each other in a global scope. An individual "lift" transforms a local function into a global function. It is a two step process, consisting of; Eliminating free variables in the function by adding parameters. Moving functions from a restricted scope to broader or global scope. The term "lambda lifting" was first introduced by Thomas Johnsson around 1982 and was historically considered as a mechanism for implementing functional programming languages.
Typed lambda calculusA typed lambda calculus is a typed formalism that uses the lambda-symbol () to denote anonymous function abstraction. In this context, types are usually objects of a syntactic nature that are assigned to lambda terms; the exact nature of a type depends on the calculus considered (see kinds below). From a certain point of view, typed lambda calculi can be seen as refinements of the untyped lambda calculus, but from another point of view, they can also be considered the more fundamental theory and untyped lambda calculus a special case with only one type.
Pi (lettre grecque)Pi (capitale Π, minuscule π ou parfois π ; en grec πι) est la lettre de l'alphabet grec, précédée par omicron et suivie par rhô. Dérivée de la lettre pey x12px de l'alphabet phénicien, elle est l'ancêtre de la lettre P de l'alphabet latin et de la lettre П de l'alphabet cyrillique. En grec moderne, la lettre pi représente une consonne occlusive bilabiale sourde, . Cette valeur est en général également celle du grec ancien.
