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.
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.
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 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.
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.
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.
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.
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).
Dictionnaire WebsterLe Dictionnaire Webster est le nom donné à un type de dictionnaire de langue anglaise aux États-Unis et faisant autorité concernant l'anglais américain. Le premier dictionnaire Webster est issu des travaux du lexicographe Noah Webster dont la première version, Compendious Dictionary of the English Language, date de 1806. Bien que les dictionnaires Merriam-Webster soient les descendants originaux des travaux de Noah Webster, plusieurs autres dictionnaires utilisent ce nom, qui depuis est devenu une marque utilisée comme nom.
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.
Gestionnaire de fichiersUn gestionnaire de fichiers présente les fichiers informatiques situés sur une ou plusieurs machines, affiche des informations sur eux (nom, taille, aperçu...), permet de trier leur présentation et d'effectuer sur eux quelques opérations, individuellement ou en les groupant. Il permet aussi la création et la suppression de fichiers et de répertoires Travaillant le plus souvent dans une interface graphique, il permet aussi ouverture, visualisation, impression, renommage, déplacement ou copie, la suppression, affichage et modification de propriétés et recherche de fichiers.
