Search Results for ""

An operator relating the past asymptotic state of a dynamical system governed by the Schrödinger equation id/(dt)psi(t)=Hpsi(t) to its future asymptotic state.

A topological space fulfilling the T_4-axiom: X fulfils the T1-separation axiom and is normal. In the terminology of Alexandroff and Hopf (1972), T_4-space are called Tietze ...

The Trott curve is a simple example of a quartic curve having 28 real bitangents-the maximum possible for a quartic-given by the equation ...

The Yff contact circle is the circumcircle of the Yff contact triangle. Its center has triangle center function alpha=((b-c)(3a^3+b^3+c^3-2a^2b-2a^2c-abc))/a, (1) which does ...

Quantifier elimination is the removal of all quantifiers (the universal quantifier forall and existential quantifier exists ) from a quantified system. A first-order theory ...

There are two types of singular values, one in the context of elliptic integrals, and the other in linear algebra. For a square matrix A, the square roots of the eigenvalues ...

A root-finding algorithm used in LU decomposition. It solves the N^2 equations i<j l_(i1)u_(1j)+l_(i2)u_(2j)+...+l_(ii)u_(ij)=a_(ij)i=j ...

The cylindrical parts of a system of real algebraic equations and inequalities in variables {x_1,...,x_n} are the terms f_1 <= x_1<=g_1 (1) f_2(x_1) <= x_2<=g_2(x_1) (2) | ...

Eigenvalues are a special set of scalars associated with a linear system of equations (i.e., a matrix equation) that are sometimes also known as characteristic roots, ...

Eigenvectors are a special set of vectors associated with a linear system of equations (i.e., a matrix equation) that are sometimes also known as characteristic vectors, ...