covariant type
Смотреть что такое "covariant type" в других словарях:
Covariant derivative — In mathematics, the covariant derivative is a way of specifying a derivative along tangent vectors of a manifold. Alternatively, the covariant derivative is a way of introducing and working with a connection on a manifold by means of a… … Wikipedia
Covariant return type — In object oriented programming, a covariant return type of a method is one that can be replaced by a narrower type when the method is overridden in a subclass. Covariant return types have been (partially) allowed in the Java language since the… … Wikipedia
Covariant et contravariant — En algèbre linéaire, multilinéaire ou en géométrie différentielle, les adjectifs covariant et contravariant désignent la manière dont les composantes d une grandeur (vecteur, tenseur) s expriment, suivant qu on utilise la base vectorielle de… … Wikipédia en Français
Covariant transformation — See also Covariance and contravariance of vectors In physics, a covariant transformation is a rule (specified below), that describes how certain physical entities change under a change of coordinate system. In particular the term is used for… … Wikipedia
Bottom type — In type theory, the bottom type is the subtype of all types. It is the return type of a function that does not return normally. As an example, a certain program function may promise to return an integer but in a Turing complete language the… … Wikipedia
Covariance and contravariance (computer science) — Within the type system of a programming language, covariance and contravariance refers to the ordering of types from narrower to wider and their interchangeability or equivalence in certain situations (such as parameters, generics, and return… … Wikipedia
Mathematics of general relativity — For a generally accessible and less technical introduction to the topic, see Introduction to mathematics of general relativity. General relativity Introduction Mathematical formulation Resources … Wikipedia
Tenseur — En mathématiques, plus précisément en algèbre multilinéaire et en géométrie différentielle, un tenseur désigne un objet très général, dont la valeur s exprime dans un espace vectoriel. On peut l utiliser entre autres pour représenter des… … Wikipédia en Français
Pseudo-vecteur — Pseudovecteur En physique et en mathématiques, un pseudovecteur ou vecteur axial est un objet mathématique qui se comporte de même manière qu un vecteur pour une rotation directe (conservant les angles orientés), mais qui change de sens lors d… … Wikipédia en Français
Vecteur axial — Pseudovecteur En physique et en mathématiques, un pseudovecteur ou vecteur axial est un objet mathématique qui se comporte de la même manière qu un vecteur pour une rotation directe (conservant les angles orientés) mais qui change de sens lors d… … Wikipédia en Français
Tensor — For other uses, see Tensor (disambiguation). Note that in common usage, the term tensor is also used to refer to a tensor field. Stress, a second order tensor. The tensor s components, in a three dimensional Cartesian coordinate system, form the… … Wikipedia