Élections européennes de 2014 en EspagneLes élections européennes de 2014 ont eu lieu entre le 22 et le selon les pays, et le dimanche en Espagne. Ces élections étaient les premières depuis l'entrée en vigueur du Traité de Lisbonne qui a renforcé les pouvoirs du Parlement européen et modifié la répartition des sièges entre les différents États-membres. Ainsi, les Espagnols ont élu cinquante-quatre députés européens, quatre de plus qu'en 2009.
Norfolk and Western LC-1 ClassThe N&W LC-1 was a class of boxcab electric locomotives built by Baldwin-Westinghouse for the Norfolk and Western Railway. The locomotives were part of an electrification project undertaken by the N&W to improve traffic conditions on the Elkhorn grade in its Bluefield Division. Baldwin-Westinghouse delivered 12 twin-unit boxcabs in 1914–1915. N&W scrapped them in 1950 when it discontinued electric operations. Elkhorn Grade Electrification In the early twentieth century the Bluefield Division of the Norfolk and Western Railway featured a forbidding two percent average grade.
Laird LC-EWThe Laird LC-EW was a six seat cabin sesquiplane designed for the industrialist George Horton. It first flew in 1934. Many Laird aircraft were designated as LC (Laird Commercial). In most cases this was followed by an airframe code, here E and an engine code, here W for Wasp. The LC-EW was designed to an order from the industrialist George Horton, who had previously owned the sole Laird LC-AA, first flown in 1928. It was a true sesquiplane, with a lower wingspan slightly less than half that of the upper.
Application linéaireEn mathématiques, une application linéaire (aussi appelée opérateur linéaire ou transformation linéaire) est une application entre deux espaces vectoriels qui respecte l'addition des vecteurs et la multiplication scalaire, et préserve ainsi plus généralement les combinaisons linéaires. L’expression peut s’utiliser aussi pour un morphisme entre deux modules sur un anneau, avec une présentation semblable en dehors des notions de base et de dimension. Cette notion étend celle de fonction linéaire en analyse réelle à des espaces vectoriels plus généraux.
Théorie de la démonstrationLa théorie de la démonstration, aussi connue sous le nom de théorie de la preuve (de l'anglais proof theory), est une branche de la logique mathématique. Elle a été fondée par David Hilbert au début du . Hilbert a proposé cette nouvelle discipline mathématique lors de son célèbre exposé au congrès international des mathématiciens en 1900 avec pour objectif de démontrer la cohérence des mathématiques.
Numérotation ISO des semainesvignette|redresse=2|Calendrier de l'année 2017 avec numérotation des semaines selon la norme ISO 8601. Le dimanche janvier 2017 est le dernier jour de la semaine 52 de l'année 2016 (2016-S52-7). Le système de numérotation ISO des semaines est un système de calendrier faisant partie de la norme d’horodatage ISO 8601. Le système est principalement utilisé par les gouvernements et entreprises pour baser également les années comptables et fiscales et la planification de projets à cycles hebdomadaires de travail, ainsi que pour le paiement des salaires ou des loyers (quand ceux-ci sont versés hebdomadairement).
Loi normaleEn théorie des probabilités et en statistique, les lois normales sont parmi les lois de probabilité les plus utilisées pour modéliser des phénomènes naturels issus de plusieurs événements aléatoires. Elles sont en lien avec de nombreux objets mathématiques dont le mouvement brownien, le bruit blanc gaussien ou d'autres lois de probabilité. Elles sont également appelées lois gaussiennes, lois de Gauss ou lois de Laplace-Gauss des noms de Laplace (1749-1827) et Gauss (1777-1855), deux mathématiciens, astronomes et physiciens qui l'ont étudiée.
Algèbre linéairevignette|R3 est un espace vectoriel de dimension 3. Droites et plans qui passent par l'origine sont des sous-espaces vectoriels. L’algèbre linéaire est la branche des mathématiques qui s'intéresse aux espaces vectoriels et aux transformations linéaires, formalisation générale des théories des systèmes d'équations linéaires. L'algèbre linéaire est initiée dans son principe par le mathématicien perse Al-Khwârizmî qui s'est inspiré des textes de mathématiques indiens et qui a complété les travaux de l'école grecque, laquelle continuera de se développer des siècles durant.
Bartlett ZephyrNOTOC The Bartlett LC-13A Zephyr 150 was a United States light civil aircraft built in the 1940s. It was a mid-wing braced monoplane of conventional design with side-by-side seating for two and fixed, tailwheel undercarriage. It was originally marketed as the Babcock LC-13 by its original manufacturer, then as the Taubman LC-13 when the Babcock Airplane Corporation was acquired by Taubman Aircraft. The rights were finally acquired by Bartlett Aircraft in 1941, but plans to mass-produce it were halted by the outbreak of World War II.
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.
Problème NP-completEn théorie de la complexité, un problème NP-complet ou problème NPC (c'est-à-dire un problème complet pour la classe NP) est un problème de décision vérifiant les propriétés suivantes : il est possible de vérifier une solution efficacement (en temps polynomial) ; la classe des problèmes vérifiant cette propriété est notée NP ; tous les problèmes de la classe NP se ramènent à celui-ci via une réduction polynomiale ; cela signifie que le problème est au moins aussi difficile que tous les autres problèmes de l
