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.
Courbe planevignette|droite|Courbe hyperbolique. En mathématiques, plus précisément en géométrie, une courbe plane est une courbe qui est entièrement contenue dans un (unique) plan, et qui est identifiable à une fonction continue : où est un intervalle de l'ensemble des nombres réels. L' d'une courbe est aussi appelée support de la courbe. Parfois, on utilise aussi l'expression courbe pour indiquer le support d'une courbe. Une courbe sur un espace euclidien de dimension supérieure à 2 est dite plane si son support est contenu dans un plan lui-même contenu dans l'espace euclidien dans lequel elle est définie.
Differentiable curveDifferential geometry of curves is the branch of geometry that deals with smooth curves in the plane and the Euclidean space by methods of differential and integral calculus. Many specific curves have been thoroughly investigated using the synthetic approach. Differential geometry takes another path: curves are represented in a parametrized form, and their geometric properties and various quantities associated with them, such as the curvature and the arc length, are expressed via derivatives and integrals using vector calculus.
Explorateur de fichiersExplorateur de fichiers (), précédemment l'Explorateur Windows () est le gestionnaire de fichiers fourni avec le système d'exploitation Microsoft Windows. Le gestionnaire permet, notamment, d'afficher et de modifier le nom des fichiers et des dossiers, de manipuler les fichiers et les dossiers (copier, déplacer, effacer), d'ouvrir les fichiers de données, et de lancer les programmes. L'Explorateur Windows est également le programme qui affiche le bureau de Microsoft Windows, notamment la barre des tâches et le menu Démarrer.
Angle droitDans le plan euclidien, deux droites sécantes définissent quatre angles deux à deux égaux. Lorsque ces quatre angles sont égaux, chacun forme un angle droit. Les droites sont alors dites perpendiculaires. Le terme angle droit est un calque du latin angulus rectus : rectus signifie « debout », ce qui renvoie à l'image d'une perpendiculaire à une ligne horizontale. Euclide écrivait, au , dans ses Éléments, livre I, Définition 10 : Un angle droit est donc un quart de tour, ou encore la moitié d'un angle plat.
Courbe elliptiqueEn mathématiques, une courbe elliptique est un cas particulier de courbe algébrique, munie entre autres propriétés d'une addition géométrique sur ses points. Les courbes elliptiques ont de nombreuses applications dans des domaines très différents des mathématiques : elles interviennent ainsi en mécanique classique dans la description du mouvement des toupies, en théorie des nombres dans la démonstration du dernier théorème de Fermat, en cryptologie dans le problème de la factorisation des entiers ou pour fabriquer des codes performants.
Chaîne de commandementDans l'armée, la chaîne de commandement est une « filière bidirectionnelle d'autorité et de reddition de comptes » qui relie un supérieur à ses subalternes. Ces subalternes peuvent soit exécuter l'ordre, soit le transmettre à un échelon plus bas s'ils ne peuvent l'exécuter. Lorsqu'elle est utilisée depuis l'échelon supérieur, elle sert à transmettre les ordres, alors que si elle est utilisée dans le sens inverse, elle sert à la reddition de comptes (par exemple, combien de soldats ont été blessés lors d'une mission).
Dictionnairethumb|upright=1.2|Dictionnaire en latin constitué de plusieurs volumes, œuvre d'Egidio Forcellini (1771). Un dictionnaire est un ouvrage de référence contenant un ensemble de mots d’une langue ou d’un domaine d’activité généralement présentés par ordre alphabétique et fournissant pour chacun une définition, une explication ou une correspondance (synonyme, antonyme, cooccurrence, traduction, étymologie). Le présent article concerne les dictionnaires unilingues qui décrivent ou normalisent une langue.
Unified Combatant Commandvignette|redresse=2|Carte des périmètres géographiques des commandements de l'Unified Combatant Command (2008). Un Unified Combatant Command (UCC, en français « commandement combattant unifié ») est un commandement interarmées et permanent des Forces armées des États-Unis. Ce type de structure a été créé le . Depuis le , ces commandements sont au nombre de onze. Six ont des responsabilités géographiques (Area Of Responsibility) et cinq ont des responsabilités fonctionnelles.
Yahoo! SearchYahoo! Search is a Yahoo! internet search provider that uses Microsoft's Bing search engine to power results, since 2009, apart from four years with Google from 2015 until the end of 2018. Originally, "Yahoo! Search" referred to a Yahoo!-provided interface that sent queries to a searchable index of pages supplemented with its directory of websites. The results were presented to the user under the Yahoo! brand. Originally, none of the actual web crawling and data housing was done by Yahoo! itself.
Surface de RiemannEn géométrie différentielle et géométrie analytique complexe, une surface de Riemann est une variété complexe de dimension 1. Cette notion a été introduite par Bernhard Riemann pour prendre en compte les singularités et les complications topologiques qui accompagnent certains prolongements analytiques de fonctions holomorphes. Par oubli de structure, une surface de Riemann se présente comme une variété différentielle réelle de dimension 2, d'où le nom surface. Elles ont été nommées en hommage au mathématicien allemand Bernhard Riemann.
Outilthumb|Une boîte à outils en bois des années 1950. Un outil est un objet physique utilisé par un être vivant directement, ou par l'intermédiaire d'une machine, afin d'exercer une action le plus souvent mécanique, ou thermique, sur un élément d'environnement à traiter (matière brute, objet fini ou semi-fini, être vivant, etc). Il améliore l'efficacité des actions entreprises ou donne accès à des actions impossibles autrement. Beaucoup procurent un avantage mécanique en fonctionnant selon le principe d'une machine simple, comme la pince-monseigneur, qui exploite le principe du levier.
