Équation aux dérivées partiellesEn mathématiques, plus précisément en calcul différentiel, une équation aux dérivées partielles (parfois appelée équation différentielle partielle et abrégée en EDP) est une équation différentielle dont les solutions sont les fonctions inconnues dépendant de plusieurs variables vérifiant certaines conditions concernant leurs dérivées partielles. Une EDP a souvent de très nombreuses solutions, les conditions étant moins strictes que dans le cas d'une équation différentielle ordinaire à une seule variable ; les problèmes comportent souvent des conditions aux limites qui restreignent l'ensemble des solutions.
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.
Linear system of divisorsIn algebraic geometry, a linear system of divisors is an algebraic generalization of the geometric notion of a family of curves; the dimension of the linear system corresponds to the number of parameters of the family. These arose first in the form of a linear system of algebraic curves in the projective plane. It assumed a more general form, through gradual generalisation, so that one could speak of linear equivalence of divisors D on a general scheme or even a ringed space (X, OX).
Selle (équitation)thumb|Cheval sellé. La selle est un objet, en cuir ou synthétique, placé sur le dos d'un cheval (ou de toute autre monture : autruche, chameau, ...) et sur lequel le cavalier se place. En fonction de l'équitation pratiquée, les selles sont de formes variées mais adaptées au dos du cheval et au cavalier. Certaines selles sont dites « mixtes » car elles conviennent à plusieurs disciplines. Les centres équestres enseignant plusieurs disciplines parmi le dressage, le saut d'obstacles, le concours complet, les pony games, le horse-ball, sont en général pourvus de ce type de selle.
Classe de Stiefel-WhitneyEn topologie algébrique, les classes de Stiefel-Whitney sont des classes caractéristiques associées aux fibrés vectoriels réels de rang fini. Elles constituent donc un analogue réel des classes de Chern dans le cas complexe. Elles portent les noms de Eduard Stiefel et de Hassler Whitney. Toute classe caractéristique associée aux fibrés vectoriels réels apparaît comme un polynôme en les classes de Stiefel-Whitney.
SidesaddleSidesaddle riding is a form of equestrianism that uses a type of saddle which allows female riders to sit aside rather than astride an equine. Sitting aside dates back to antiquity and developed in European countries in the Middle Ages as a way for women in skirts to ride a horse in a modest fashion while also wearing fine clothing. It has retained a specialty niche even in the modern world. The earliest depictions of women riding with both legs on the same side of the horse can be seen in Greek vases, sculptures, and Celtic stones.
Logique de HoareLa logique de Hoare, parfois appelée logique de Floyd-Hoare, est une méthode formelle définie par le chercheur en informatique britannique Tony Hoare dans un article de 1969 intitulé An Axiomatic Basis for Computer Programming. La méthode de Hoare met en place un formalisme logique permettant de raisonner sur la correction des programmes informatiques. Elle est fondée sur la syntaxe en ce sens que la correction d'un programme est décrite et démontrée par induction (récurrence) sur la structure du programme : à chaque règle syntaxique de construction d'un programme correspond une règle de la logique de Hoare.
