Search Results for ""

An immediate consequence of a result already proved. Corollaries usually state more complicated theorems in a language simpler to use and apply.

If q is logically deducible from p, this is written p|-q.

The terms of equational logic are built up from variables and constants using function symbols (or operations). Identities (equalities) of the form s=t, (1) where s and t are ...

An orthogonal projection of a cross onto a three-dimensional subspace. It is said to be normalized if the cross vectors are all of unit length.

The Gauss-Bonnet formula has several formulations. The simplest one expresses the total Gaussian curvature of an embedded triangle in terms of the total geodesic curvature of ...

Turing machines are defined by sets of rules that operate on four parameters: (state, tape cell color, operation, state). Let the states and tape cell colors be numbered and ...

A right-angled parallelepiped with dimensions a×ab×abc, where a, b, and c are integers.

Given a Euclidean n-space, H_n=n+1.

A connection between two or more vertices of a hypergraph. A hyperedge connecting just two vertices is simply a usual graph edge.

A vector field v for which the curl vanishes, del xv=0.