Intuitionistic type theoryIntuitionistic type theory (also known as constructive type theory, or Martin-Löf type theory) is a type theory and an alternative foundation of mathematics. Intuitionistic type theory was created by Per Martin-Löf, a Swedish mathematician and philosopher, who first published it in 1972. There are multiple versions of the type theory: Martin-Löf proposed both intensional and extensional variants of the theory and early impredicative versions, shown to be inconsistent by Girard's paradox, gave way to predicative versions.
Équation aux dérivées partiellesEn mathématiques, plus précisément en calcul différentiel, une équation aux dérivées partielles (parfois appelée équation différentielle partielle et abrégée en EDP) est une équation différentielle dont les solutions sont les fonctions inconnues dépendant de plusieurs variables vérifiant certaines conditions concernant leurs dérivées partielles. Une EDP a souvent de très nombreuses solutions, les conditions étant moins strictes que dans le cas d'une équation différentielle ordinaire à une seule variable ; les problèmes comportent souvent des conditions aux limites qui restreignent l'ensemble des solutions.
Variété riemannienneEn mathématiques, et plus précisément en géométrie, la variété riemannienne est l'objet de base étudié en géométrie riemannienne. Il s'agit d'une variété, c'est-à-dire un espace courbe généralisant les courbes (de dimension 1) ou les surfaces (de dimension 2) à une dimension n quelconque, et sur laquelle il est possible d'effectuer des calculs de longueur. En termes techniques, une variété riemannienne est une variété différentielle munie d'une structure supplémentaire appelée métrique riemannienne permettant de calculer le produit scalaire de deux vecteurs tangents à la variété en un même point.
Function typeIn computer science and mathematical logic, a function type (or arrow type or exponential) is the type of a variable or parameter to which a function has or can be assigned, or an argument or result type of a higher-order function taking or returning a function. A function type depends on the type of the parameters and the result type of the function (it, or more accurately the unapplied type constructor · → ·, is a higher-kinded type).
Problème à N corpsLe problème à N corps est un problème de mécanique céleste consistant à déterminer les trajectoires d'un ensemble de N corps s'attirant mutuellement ; plus précisément, il s'agit de résoudre les équations du mouvement de Newton pour N corps interagissant gravitationnellement, connaissant leurs masses ainsi que leurs positions et vitesses initiales. Le cas (problème à deux corps) a été résolu par Newton, mais dès (problème à trois corps) apparaissent des solutions essentiellement impossibles à expliciter, car sensibles aux conditions initiales.
Three-body problemIn physics and classical mechanics, the three-body problem is the problem of taking the initial positions and velocities (or momenta) of three point masses and solving for their subsequent motion according to Newton's laws of motion and Newton's law of universal gravitation. The three-body problem is a special case of the n-body problem. Unlike two-body problems, no general closed-form solution exists, as the resulting dynamical system is chaotic for most initial conditions, and numerical methods are generally required.
Type (informatique)vignette|Présentation des principaux types de données. En programmation informatique, un type de donnée, ou simplement un type, définit la nature des valeurs que peut prendre une donnée, ainsi que les opérateurs qui peuvent lui être appliqués. La plupart des langages de programmation de haut niveau offrent des types de base correspondant aux données qui peuvent être traitées directement — à savoir : sans conversion ou formatage préalable — par le processeur.
Differential (mathematics)In mathematics, differential refers to several related notions derived from the early days of calculus, put on a rigorous footing, such as infinitesimal differences and the derivatives of functions. The term is used in various branches of mathematics such as calculus, differential geometry, algebraic geometry and algebraic topology. The term differential is used nonrigorously in calculus to refer to an infinitesimal ("infinitely small") change in some varying quantity.
Moment d'inertieLe moment d'inertie d'un système physique est une grandeur qui caractérise son inertie vis-à-vis des mouvements de rotation, comme sa masse caractérise son inertie vis-à-vis des mouvements de translation. Il dépend de la valeur et de la répartition des masses au sein du système et a pour dimension (produit d'une masse par le carré d'une longueur) ; il s'exprime donc en dans le Système international d'unités.
Transverse universelle de MercatorLa projection Transverse universelle de Mercator (en anglais Universal Transverse Mercator ou UTM) est un type de projection cartographique conforme de la surface de la Terre. L’Allemagne l’utilise sous le nom de Projection de Gauss-Krüger. Cette projection est une projection cylindrique transverse où l’axe du cylindre croise perpendiculairement l’axe des pôles de l’ellipsoïde terrestre au centre de l’ellipsoïde.
