antisymmetric system
31Hindley–Milner — In type theory, Hindley–Milner (HM) (also known as Damas–Milner or Damas–Hindley–Milner) is a classical type inference method with parametric polymorphism for the lambda calculus, first described by J. Roger Hindley[1] and later rediscovered by… …
32OMTROLL — OMTROLL[1] basically is an Object oriented modeling idea that has been formulated by combining the traditional Object Modelling Approaches(OMT) and the formal specifications of the TROLL language. OMTROLL was basically created so as to: exploit… …
33Lagrangian — This article is about Lagrange mechanics. For other uses, see Lagrangian (disambiguation). The Lagrangian, L, of a dynamical system is a function that summarizes the dynamics of the system. It is named after Joseph Louis Lagrange. The concept of… …
34Mereology — In philosophy and mathematical logic, mereology (from the Greek μέρος, root: μερε(σ) , part and the suffix logy study, discussion, science ) treats parts and the wholes they form. Whereas set theory is founded on the membership relation between a …
35Wave function — Not to be confused with the related concept of the Wave equation Some trajectories of a harmonic oscillator (a ball attached to a spring) in classical mechanics (A B) and quantum mechanics (C H). In quantum mechanics (C H), the ball has a wave… …
36Metric tensor — In the mathematical field of differential geometry, a metric tensor is a type of function defined on a manifold (such as a surface in space) which takes as input a pair of tangent vectors v and w and produces a real number (scalar) g(v,w) in a… …
37Laplace–Runge–Lenz vector — Throughout this article, vectors and their magnitudes are indicated by boldface and italic type, respectively; for example, left| mathbf{A} ight| = A. In classical mechanics, the Laplace–Runge–Lenz vector (or simply the LRL vector) is a vector… …
38Outline of logic — The following outline is provided as an overview of and topical guide to logic: Logic – formal science of using reason, considered a branch of both philosophy and mathematics. Logic investigates and classifies the structure of statements and… …
39Equivalence relation — In mathematics, an equivalence relation is a binary relation between two elements of a set which groups them together as being equivalent in some way. Let a , b , and c be arbitrary elements of some set X . Then a b or a ≡ b denotes that a is… …
40Normal mode — For other types of mode, see Mode (disambiguation). Vibration of a single normal mode of a circular disc with a pinned boundary condition along the entire outer edge. See other modes. A normal mode of an oscillating system is a pattern of motio …
