Computer science

• Invariant (computer science)
  Invariant (computer science)
  In computer science, a predicate is called an invariant to a sequence of operations provided that: if the predicate is true before starting the sequence, then it is true at the end of the sequence.-Use:...
  
  , an Expression whose value doesn't change during program execution
• A type
  Data type
  In computer programming, a data type is a classification identifying one of various types of data, such as floating-point, integer, or Boolean, that determines the possible values for that type; the operations that can be done on values of that type; the meaning of the data; and the way values of...
  
   in overriding
  Method overriding (programming)
  Method overriding, in object oriented programming, is a language feature that allows a subclass or child class to provide a specific implementation of a method that is already provided by one of its superclasses or parent classes...
  
   that is neither covariant nor contravariant
  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 ....
  
  
• Class invariant
  Class invariant
  In computer programming, specifically object-oriented programming, a class invariant is an invariant used to constrain objects of a class. Methods of the class should preserve the invariant. The class invariant constrains the state stored in the object....
  
  , invariants used to constrain objects of a class
• Loop invariant
  Loop invariant
  In computer science, a loop invariant is an invariant used to prove properties of loops. Informally, a loop invariant is a statement of the conditions that should be true on entry into a loop and that are guaranteed to remain true on every iteration of the loop...
  
  , invariants used to prove properties of loops

Other uses

• Invariant (mathematics)
  Invariant (mathematics)
  In mathematics, an invariant is a property of a class of mathematical objects that remains unchanged when transformations of a certain type are applied to the objects. The particular class of objects and type of transformations are usually indicated by the context in which the term is used...
  
  , something unaltered by a transformation, for example: taking a homotopy group functor on the category of topological spaces. Then, homeomorphic spaces have isomorphic fundamental group. See topological invariant.
• Invariant (music)
• Invariant (physics)
  Invariant (physics)
  In mathematics and theoretical physics, an invariant is a property of a system which remains unchanged under some transformation.-Examples:In the current era, the immobility of polaris under the diurnal motion of the celestial sphere is a classical illustration of physical invariance.Another...
  
  , meaning that something does not change under a transformation, such as from one reference frame to another
• Writer invariant
  Writer invariant
  Writer invariant, also called authorial invariant or author's invariant, is a property of a text which is invariant of its author, that is, it will be similar in all texts of a given author and different in texts of different authors. It can be used to find plagiarism or discover who is real author...
  
  , property of a text which is similar in all texts of a given author, and different in texts of different authors
• Invariance (magazine), a French Communist journal
• The Invariant Society
  Oxford University Invariant Society
  The Oxford University Invariant Society, or 'The Invariants', is a university society open to members of Oxford University, dedicated to promotion of interest in Mathematics. The society regularly hosts talks from prominent British mathematicians such as G. H. Hardy on wide ranging topics from the...
  
  , the Oxford student mathematics society