Search Results for ""

A calibration form on a Riemannian manifold M is a differential p-form phi such that 1. phi is a closed form. 2. The comass of phi, sup_(v in ^ ^pTM, |v|=1)|phi(v)| (1) ...

A Cartesian product of any finite or infinite set I of copies of Z_2, equipped with the product topology derived from the discrete topology of Z_2. It is denoted Z_2^I. The ...

If f(z) is regular and of the form O(e^(k|z|)) where k<pi, for R[z]>=0, and if f(z)=0 for z=0, 1, ..., then f(z) is identically zero.

Consider a quadratic equation x^2-sx+p=0 where s and p denote signed lengths. The circle which has the points A=(0,1) and B=(s,p) as a diameter is then called the Carlyle ...

An axiomatic system is said to be categorical if there is only one essentially distinct representation for it. In particular, the names and types of objects within the system ...

A special point which usually has some symmetric placement with respect to points on a curve or in a solid. The center of a circle is equidistant from all points on the ...

A chamfered polyhedron, also known as an egde-truncated polyhedron, is a polyhedron constructed from an original polyhedron by moving faces outward while retaining the ...

The Church-Rosser theorem states that lambda calculus as a reduction system with lambda conversion rules satisfies the Church-Rosser property.

Combinatorial matrix theory is a rich branch of mathematics that combines combinatorics, graph theory, and linear algebra. It includes the theory of matrices with prescribed ...

Let A^~, B^~, ... be operators. Then the commutator of A^~ and B^~ is defined as [A^~,B^~]=A^~B^~-B^~A^~. (1) Let a, b, ... be constants, then identities include [f(x),x] = 0 ...