Romanel-sur-LausanneRomanel-sur-Lausanne est une commune suisse du canton de Vaud, située dans le district de Lausanne. Elle est située entre Cheseaux, et Lausanne. vignette|gauche|Photo aérienne (1964). Le territoire de Romanel-sur-Lausanne s'étend sur . Lors du relevé de , les surfaces d'habitations et d'infrastructures représentaient de sa superficie, les surfaces agricoles , les surfaces boisées et les surfaces improductives . À au nord-ouest de Lausanne sur la route reliant cette dernière à Echallens et à Yverdon, le village de Romanel est situé à l'extrémité sud du grand plateau du Jorat.
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).
Conversion de typeEn informatique la conversion de type, le transtypage ou la coercition (cast en anglais) est le fait de convertir une valeur d'un type (source) dans un autre (cible). On distingue trois formes de conversion (dont un seul mérite vraiment le nom de conversion) suivant la relation de sous-typage existant entre les types source et cible : la conversion entre types incomparables ; la coercition ascendante (transtypage vers le haut) ; la coercition descendante (transtypage vers le bas). C'est la coercition la plus ancienne historiquement.
Adjugate matrixIn linear algebra, the adjugate or classical adjoint of a square matrix A is the transpose of its cofactor matrix and is denoted by adj(A). It is also occasionally known as adjunct matrix, or "adjoint", though the latter term today normally refers to a different concept, the adjoint operator which for a matrix is the conjugate transpose. The product of a matrix with its adjugate gives a diagonal matrix (entries not on the main diagonal are zero) whose diagonal entries are the determinant of the original matrix: where I is the identity matrix of the same size as A.
Cheseaux-sur-LausanneCheseaux-sur-Lausanne est une commune suisse du canton de Vaud, située dans le district de Lausanne à de Lausanne, d'Yverdon et de Genève. vignette|gauche|Photo aérienne (1964) Cheseaux s'étend sur et se situe à de la ville de Lausanne, elle est traversée par l'axe cantonal reliant Lausanne à Yverdon. Elle se situe entre Étagnières, Lausanne et Morrens. Sa population s'élève environ à à la fin 2019. Elle est traversée par deux rivières, la Chamberonne (à l'Ouest) et la Mèbre (à l'Est).
Pseudo-inverseEn mathématiques, et plus précisément en algèbre linéaire, la notion de pseudo-inverse (ou inverse généralisé) généralise celle d’inverse d’une application linéaire ou d’une matrice aux cas non inversibles en lui supprimant certaines des propriétés demandées aux inverses, ou en l’étendant aux espaces non algébriques plus larges. En général, il n’y a pas unicité du pseudo-inverse. Son existence, pour une application linéaire entre espaces de dimension éventuellement infinie, est équivalente à l'existence de supplémentaires du noyau et de l'image.
École polytechnique (France)L'École polytechnique, couramment appelée Polytechnique et surnommée en France l'« X », est l'une des françaises accréditées au à délivrer un diplôme d'ingénieur. Elle constitue l'une des sept grandes écoles militaires françaises. Elle est fondée en 1794 par la Convention nationale sous le nom d'École centrale des travaux publics et militarisée en 1804 par Napoléon . À l'origine située à Paris, l'école est à Palaiseau (Essonne) depuis 1976, au cœur du pôle technologique Paris-Saclay.
Élément symétriqueEn mathématiques, la notion d'élément symétrique généralise les concepts d'opposé en rapport avec l'addition et d'inverse en rapport avec la multiplication. Soit E un ensemble muni d'une loi de composition interne admettant un élément neutre . Soient deux éléments et de E. Si , est dit élément symétrique à gauche de et est dit élément symétrique à droite de . Si , est dit élément symétrique de .
Belmont-sur-LausanneBelmont-sur-Lausanne est une commune suisse du canton de Vaud, située dans le district de Lavaux-Oron, à l'est de Lausanne et au nord de Pully. Les habitants de la commune se nomment les Belmontais ou les Bimands (du nom en patois vaudois de la commune : Bîman). Ils sont surnommés les Hannetons ou les Cancoires (Quincoâre ou Cancoâre). La commune de Belmont faisait partie intégrante de la commune de Pully jusqu'à la scission. Belmont tire son nom de « beau mont ». La commune est dotée d'un petit centre commercial non loin de l'école.
Bijection réciproqueEn mathématiques, la bijection réciproque (ou fonction réciproque ou réciproque) d'une bijection est l'application qui associe à chaque élément de l'ensemble d'arrivée son unique antécédent par . Elle se note . On considère l'application de vers définie par . Pour chaque réel y, il y a un et un seul réel x tel que , ainsi pour = 8, le seul convenable est 2, en revanche, pour = –27 c'est –3. En termes mathématiques, on dit que est l'unique antécédent de et que est une bijection.
