Generalizations of the derivativeIn mathematics, the derivative is a fundamental construction of differential calculus and admits many possible generalizations within the fields of mathematical analysis, combinatorics, algebra, geometry, etc. The Fréchet derivative defines the derivative for general normed vector spaces . Briefly, a function , an open subset of , is called Fréchet differentiable at if there exists a bounded linear operator such that Functions are defined as being differentiable in some open neighbourhood of , rather than at individual points, as not doing so tends to lead to many pathological counterexamples.
Forme normale conjonctiveEn logique booléenne et en calcul des propositions, une formule en forme normale conjonctive ou FNC (en anglais, Conjunctive Normal Form, Clausal Normal Form ou CNF) est une conjonction de clauses, où une clause est une disjonction de littéraux. Les formules en FNC sont utilisées dans le cadre de la démonstration automatique de théorèmes ou encore dans la résolution du problème SAT (en particulier dans l'algorithme DPLL). Une expression logique est en FNC si et seulement si elle est une conjonction d'une ou plusieurs disjonction(s) d'un ou plusieurs littéraux.
Windows XP editionsWindows XP, which is the next version of Windows NT after Windows 2000 and the successor to the consumer-oriented Windows Me, has been released in several editions since its original release in 2001. Windows XP is available in many languages. In addition, add-ons translating the user interface are also available for certain languages. The first two editions released by Microsoft are Windows XP Home Edition, designed for home users, and Windows XP Professional, designed for business and power users.
Décomposition de FrobeniusOn considère un K-espace vectoriel E de dimension finie et un endomorphisme u de cet espace. Une décomposition de Frobenius est une décomposition de E en somme directe de sous-espaces dits cycliques, telle que les polynômes minimaux (ou caractéristiques) respectifs des restrictions de u aux facteurs sont les facteurs invariants de u. La décomposition de Frobenius peut s'effectuer sur un corps quelconque : on ne suppose pas ici que K est algébriquement clos.
Fonction d'erreurthumb|right|upright=1.4|Construction de la fonction d'erreur réelle. En mathématiques, la fonction d'erreur (aussi appelée fonction d'erreur de Gauss) est une fonction entière utilisée en analyse. Cette fonction se note erf et fait partie des fonctions spéciales. Elle est définie par : La fonction erf intervient régulièrement dans le domaine des probabilités et statistiques, ainsi que dans les problèmes de diffusion (de la chaleur ou de la matière).
Limite projectiveEn mathématiques, dans la formalisation du langage des catégories, la limite projective est une généralisation du produit. Cette notion est duale de celle de limite inductive. Soient un ensemble ordonné, une famille d'ensembles indexée par , et pour chaque couple tel que , une application . On suppose que ces applications vérifient les deux propriétés suivantes : Une telle structure est appelée système projectif d'ensembles.
Oscillation (mathématiques)L'oscillation quantifie la tendance d'une fonction ou d'une suite à varier entre des valeurs extrémales. Il existe plusieurs notions d'oscillation : oscillation d'une suite de réels, oscillation d'une fonction à valeurs dans un espace métrique (comme R), en un point ou sur une partie de son domaine de définition. right|thumb|L'oscillation d'une suite (représentée en bleu) est la différence entre ses limites supérieure et inférieure.
Microsoft Office XPMicrosoft Office XP (connu en version bêta sous le nom d'Office 10 et également connu sous le nom d'Office 2002) est une suite de la famille Microsoft Office distribuée par Microsoft pour le système d'exploitation Microsoft Windows. Cette suite est le successeur de Microsoft Office 2000 et le prédécesseur d'Office 2003 et peut également être reconnue sous le nom de 'Office 10', qui est son nom de code. Il a été mis sur le marché le 5 mars 2001 aux États-Unis, tandis qu'en Europe il est apparu pour la première fois le 4 août 2001.
CA Technologiesthumb|upright=1.2|Siège de CA Technologies. CA Technologies est un éditeur de logiciels fondé à New York par Charles B. Wang en 1976, sous le nom de Computer Associates International, Inc.. CA Technologies est, en 2006, le grand éditeur de logiciels avec environ . L'entreprise est rachetée par Broadcom en 2018, et le titre retiré du NASDAQ. Computer Associates s'est constituée en rachetant successivement plusieurs sociétés. Initialement, Computer Associates proposait des logiciels pour les systèmes Mainframe.
Windows VistaWindows Vista est un système d'exploitation propriétaire de la famille Microsoft Windows, et plus précisément de la branche Windows NT (NT 6.0), développé et commercialisé par la société Microsoft. Il a été mis sur le marché le , soit plus de cinq ans après son prédécesseur, Windows XP. Son successeur est Windows 7, sorti en octobre 2009. Selon Microsoft, Windows Vista contient des centaines de nouvelles fonctionnalités.
