Vérification de modèlesthumb|308x308px|Principe du model checking. En informatique, la vérification de modèles, ou model checking en anglais, est le problème suivant : vérifier si le modèle d'un système (souvent informatique ou électronique) satisfait une propriété. Par exemple, on souhaite vérifier qu'un programme ne se bloque pas, qu'une variable n'est jamais nulle, etc. Généralement, la propriété est écrite dans un langage, souvent en logique temporelle. La vérification est généralement faite de manière automatique.
Machine à différencesvignette|320px|La machine différentielle du Science museum de Londres, la première fabriquée à partir du design de Babbage. Le design à la même précision sur toutes les colonnes, mais cette précision pourrait diminuer lors du calcul de polynômes. Une machine à différences est une calculatrice mécanique conçue pour calculer des tables de fonctions polynomiales. Son nom dérive de la méthode des différences finies, une façon d'interpoler des fonctions en utilisant un petit nombre de coefficients polynomiaux.
Économie mixteEn théorie, une économie mixte est une économie dans laquelle le secteur privé et le secteur public coexistent en parts relativement équivalentes. Une illustration très emblématique de ce mélange d'économie de marché et d'économie planifiée est la politique économique française d'après la Seconde Guerre mondiale, qui était largement inspirée par le Programme du Conseil national de la Résistance. En Allemagne de nos jours, on parle également d'économie sociale de marché.
Symmetric derivativeIn mathematics, the symmetric derivative is an operation generalizing the ordinary derivative. It is defined as The expression under the limit is sometimes called the symmetric difference quotient. A function is said to be symmetrically differentiable at a point x if its symmetric derivative exists at that point. If a function is differentiable (in the usual sense) at a point, then it is also symmetrically differentiable, but the converse is not true.
