Théorème de GreenEn mathématiques, le théorème de Green, ou théorème de Green-Riemann, donne la relation entre une intégrale curviligne le long d'une courbe simple fermée orientée C par morceaux et l'intégrale double sur la région du plan délimitée par cette courbe. Ce théorème, nommé d'après George Green et Bernhard Riemann, est un cas particulier du théorème de Stokes. thumb|upright=0.9|Domaine délimité par une courbe régulière par morceaux. Vu comme cas particulier du théorème de Stokes, le théorème s'écrit sous la forme suivante, en notant ∂D la courbe C et ω la forme différentielle.
Convergence de variables aléatoiresDans la théorie des probabilités, il existe différentes notions de convergence de variables aléatoires. La convergence (dans un des sens décrits ci-dessous) de suites de variables aléatoires est un concept important de la théorie des probabilités utilisé notamment en statistique et dans l'étude des processus stochastiques. Par exemple, la moyenne de n variables aléatoires indépendantes et identiquement distribuées converge presque sûrement vers l'espérance commune de ces variables aléatoires (si celle-ci existe).
Streamingvignette|Une configuration de pour la télédiffusion. Le (du verbe anglais transitif , « transférer en mode continu »), flux, lecture en continu, lecture en transit, diffusion en continu ou diffusion en mode continu, est un procédé de diffusion d'un flux audio ou vidéo en « direct » ou en léger différé. Très utilisé sur Internet et sur les réseaux de téléphonie mobile, le permet la lecture d'un flux audio ou vidéo (cas de la vidéo à la demande) à mesure qu'il est diffusé.
Ville du quart d'heureLa ville du quart d'heure est le modèle d'une ville où tous les services essentiels sont à une distance d'un quart d'heure à pied ou en vélo, concept relancé sous cette dénomination en 2015 par Carlos Moreno, un urbaniste franco-colombien né en Colombie en 1959, avec l'objectif afin de réduire les transports motorisés et ainsi limiter les émissions de gaz à effet de serre. Dans le passé, d'autres architectes proposèrent des concepts similaires comme Le Corbusier mais le développement de l'automobile mit un arrêt à leurs projets.
Assistant de preuveEn informatique (ou en mathématiques assistées par informatique), un assistant de preuve est un logiciel permettant la vérification de preuves mathématiques, soit sur des théorèmes au sens usuel des mathématiques, soit sur des assertions relatives à l'exécution de programmes informatiques. Beaucoup de projets ont été lancés pour formaliser les mathématiques, en 1966, Nicolaas de Bruijn lance le projet Automath, suivi par d'autres projets.
Limite (théorie des catégories)La notion de limite est une construction catégorique abstraite, qui rend compte d'objets tels que les produits, les produits fibrés et les limites projectives. La construction duale, la colimite, rend compte entre autres des coproduits, sommes amalgamées et limites inductives. Dans certains cas, cette notion coïncide avec la limite au sens de l'analyse. Soit une catégorie. On considère un diagramme dans , traduit par un foncteur . Dans de nombreux cas, on considère une petite catégorie, voire finie, et on parle respectivement de petit diagramme ou de diagramme fini.
AutolyseLe terme autolyse désigne l'autodestruction (du grec auto- « soi-même » et / lusis « dissolution »). Le terme est notamment utilisé en psychologie (ou en médecine) pour désigner le suicide, en médecine légale pour désigner une modification naturelle de destruction du corps après la mort, et en biologie pour désigner l'autodestruction de cellules (mort cellulaire). Suicide En psychologie, autolyse est synonyme de suicide.
ImmunizationImmunization, or immunisation, is the process by which an individual's immune system becomes fortified against an infectious agent (known as the immunogen). When this system is exposed to molecules that are foreign to the body, called non-self, it will orchestrate an immune response, and it will also develop the ability to quickly respond to a subsequent encounter because of immunological memory. This is a function of the adaptive immune system.
Manuel diagnostique et statistique des troubles mentauxLe Manuel diagnostique et statistique des troubles mentaux (également désigné par le sigle DSM, abréviation de l'Diagnostic and Statistical Manual of Mental Disorders) est un ouvrage de référence publié par l'Association américaine de psychiatrie (American Psychiatric Association ou APA) décrivant et classifiant les troubles mentaux. Le manuel évolue initialement à partir des statistiques collectées depuis des hôpitaux psychiatriques et depuis un manuel diffusé par l'armée de terre des États-Unis.
Théorème de Pythagorethumb|right|alt=Triangle rectangle et relation algébrique entre les longueurs de ses côtés.|Relation entre les longueurs des côtés dans un triangle rectangle. Le théorème de Pythagore est un théorème de géométrie euclidienne qui met en relation les longueurs des côtés dans un triangle rectangle. Il s'énonce fréquemment sous la forme suivante : Si un triangle est rectangle, le carré de la longueur de l’hypoténuse (ou côté opposé à l'angle droit) est égal à la somme des carrés des longueurs des deux autres côtés.
Espace de BanachEn mathématiques, plus particulièrement en analyse fonctionnelle, on appelle espace de Banach un espace vectoriel normé sur un sous-corps K de C (en général, K = R ou C), complet pour la distance issue de sa norme. Comme la topologie induite par sa distance est compatible avec sa structure d’espace vectoriel, c’est un espace vectoriel topologique. Les espaces de Banach possèdent de nombreuses propriétés qui font d'eux un outil essentiel pour l'analyse fonctionnelle. Ils doivent leur nom au mathématicien polonais Stefan Banach.
