Type dépendantEn Informatique et en Logique, un type dépendant est un type qui peut dépendre d'une valeur définie dans le langage typé. Les langages Agda et Gallina (de l'assistant de preuve Coq) sont des exemples de langages à type dépendant. Les types dépendants permettent par exemple de définir le type des listes à n éléments. Voici un exemple en Coq. Inductive Vect (A: Type): nat -> Type := | nil: Vect A 0 | cons (n: nat) (x: A) (t: Vect A n): Vect A (S n).
Identité trigonométriqueUne identité trigonométrique est une relation impliquant des fonctions trigonométriques, vérifiée pour toutes les valeurs possibles des variables intervenant dans la relation. Ces identités peuvent servir à simplifier une expression comportant des fonctions trigonométriques ou à la transformer (par exemple pour en calculer une primitive). Elles constituent donc une « boîte à outils » utile pour la résolution de problèmes. Les fonctions trigonométriques sont définies géométriquement ou analytiquement.
Identités vectoriellesDans cet article, on note pour le produit vectoriel et · pour le produit scalaire. Les identités suivantes peuvent être utiles en analyse vectorielle. (Identité de Binet-Cauchy) Dans cette section, a, b, c et d représentent des vecteurs quelconques de . Dans cet article, les conventions suivantes sont utilisées; à noter que la position (levée ou abaissée) des indices n'a pas, ici, beaucoup d'importance étant donné que l'on travaille dans un contexte euclidien.
Sport professionnelLe sport professionnel désigne de manière générale la pratique des sports dans laquelle les sportifs et les cadres — des structures accueillant les sportifs : clubs, etc. — reçoivent une rémunération pour leur activité dans le cadre de compétitions sportives récurrentes, comme des championnats de toute nature. Ces compétitions régulières permettent aux structures d’accueil d’encaisser des revenus par la billetterie, la publicité ou la vente de droits de diffusion télévisuels ou par d’autres moyens de communication.
Sport fémininLe sport féminin couvre l'ensemble des pratiques sportives féminines, professionnelles, amateurs ou de loisirs. Présent dans certaines civilisations antiques comme en témoignent des vestiges archéologiques, il semble connaître une éclipse relative au cours du Moyen Âge et surtout des Temps Modernes. Il réapparaît timidement sous la forme de gymnastique au cours du mais les formes sportives proprement dites ont beaucoup de difficulté à s'imposer et il faut attendre les Jeux olympiques de 1928 pour que le sport féminin fasse son apparition dans le programme olympique.
