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.
Philippe de VilmorinJoseph Marie Philippe Levêque de Vilmorin, plus communément appelé Philippe de Vilmorin, né le à Verrières-le-Buisson et mort dans la même commune le , est un botaniste français. vignette|gauche|Arboretum de Pézanin. Philippe de Vilmorin est issu de la célèbre famille de botanistes et grainetiers. De son mariage en 1900 avec Berthe Marie Mélanie de Gaufridy de Dortan (qui sera maîtresse du roi Alphonse XIII d'Espagne), naîtront six enfants : Marie-Pierre de Vilmorin (Mapie de Toulouse-Lautrec) (1901-1972), Louise de Vilmorin (1902-1969), Henry de Vilmorin (1903-1961), Olivier de Vilmorin (1904-1962), Roger de Vilmorin (1905-1980), fils naturel de Mélanie de Vilmorin et d'Alphonse XIII d'Espagne.
Mapie de Toulouse-LautrecMapie de Toulouse-Lautrec, née le à Verrières-le-Buisson et morte le à Paris , est une journaliste française. Née Marie-Pierre Adélaïde Levêque de Vilmorin, elle est la fille aînée de Philippe de Vilmorin et de son épouse, Mélanie de Gaufridy de Dortan et la sœur de l'écrivain Louise de Vilmorin. D'abord fiancée à Robert Goüin (fils de Jules Goüin) en 1918, elle épouse en premières noces en 1922 un cousin, Guy Marie Félix Levêque de Vilmorin (1896-1984) dont elle a deux filles, Dominique, (1927-2011) et Adélaïde, épouse Oréfice (1930-2020).
Vilmorin & CieVilmorin & , anciennement Vilmorin Clause & et Vilmorin SA, est un producteur français de semences. Famille Lévêque de Vilmorin thumb|left|250px|Publicité dans Le Miroir (1914). thumb|left|250px|Vilmorin-Andrieux et : couverture d'un « Extrait du catalogue spécial d’ognons à fleurs » (1925). L'histoire de la famille Lévêque de Vilmorin remonte en 1743 à Paris avec un magasin vendant des semences et des oiseaux au 4, quai de la Mégisserie, sous l'enseigne du Coq de la Bonne Foy.
École française d'AthènesL’École française d’Athènes (EfA) ou l’École française d’archéologie d’Athènes (en Γαλλική Αρχαιολογική Σχολή Αθηνών) est un établissement universitaire français, situé 6, rue Didotou à Athènes en Grèce, dont le but est de promouvoir l'étude de la langue, de l’histoire et des antiquités grecques. Depuis 2011, l'EfA fait partie du Réseau des Écoles françaises à l'étranger. Créée en sous la Monarchie de Juillet, par le ministre de l'Instruction publique d'alors : Narcisse-Achille de Salvandy.
Crédit lyonnaisLe Crédit lyonnais, société anonyme, connue depuis les années 2000 sous l'appellation LCL, est une banque française fondée à Lyon en 1863 par François Barthélemy Arlès-Dufour et Henri Germain. Elle est considérée comme l'un des trois piliers de l'industrie bancaire française, faisant partie des « Trois Vieilles » avec BNP Paribas et Société générale . vignette|Action du Crédit lyonnais de 1863.
Carré sommableEn mathématiques, une fonction définie sur un espace mesuré Ω et à valeurs dans R ou C est dite de carré sommable ou de carré intégrable si elle appartient à l’espace L(Ω) des fonctions dont l'intégrale du carré (du module dans le cas des nombres complexes) converge sur Ω. Par exemple, une fonction mesurable de R dans C est de carré sommable lorsque l’intégrale suivante (au sens de Lebesgue) converge, c'est-à-dire si elle existe et correspond ainsi à un nombre fini.
Calcul numérique d'une intégraleEn analyse numérique, il existe une vaste famille d’algorithmes dont le but principal est d’estimer la valeur numérique de l’intégrale définie sur un domaine particulier pour une fonction donnée (par exemple l’intégrale d’une fonction d’une variable sur un intervalle). Ces techniques procèdent en trois phases distinctes : Décomposition du domaine en morceaux (un intervalle en sous-intervalles contigus) ; Intégration approchée de la fonction sur chaque morceau ; Sommation des résultats numériques ainsi obtenus.
SemimartingaleIn probability theory, a real valued stochastic process X is called a semimartingale if it can be decomposed as the sum of a local martingale and a càdlàg adapted finite-variation process. Semimartingales are "good integrators", forming the largest class of processes with respect to which the Itô integral and the Stratonovich integral can be defined. The class of semimartingales is quite large (including, for example, all continuously differentiable processes, Brownian motion and Poisson processes).
Intégration (mathématiques)En mathématiques, l'intégration ou calcul intégral est l'une des deux branches du calcul infinitésimal, l'autre étant le calcul différentiel. Les intégrales sont utilisées dans de multiples disciplines scientifiques notamment en physique pour des opérations de mesure de grandeurs (longueur d'une courbe, aire, volume, flux) ou en probabilités. Ses utilités pluridisciplinaires en font un outil scientifique fondamental. C'est la raison pour laquelle l'intégration est souvent abordée dès l'enseignement secondaire.
Carré (algèbre)En arithmétique et en algèbre, le carré est une opération consistant à multiplier un élément par lui-même. La notion s’applique d’abord aux nombres, et en particulier aux entiers naturels, pour lesquels le carré est figuré par une disposition en carré au sens géométrique du terme. Un nombre qui peut s’écrire comme le carré d’un entier est appelé carré parfait. Mais plus généralement, on parle du carré d’une fonction, d’une matrice, ou de tout type d’objet mathématique pour lequel il existe une opération notée multiplicativement, comme la composition des endomorphismes ou le produit cartésien.
