Search Results for ""

A cubic curve is an algebraic curve of curve order 3. An algebraic curve over a field K is an equation f(X,Y)=0, where f(X,Y) is a polynomial in X and Y with coefficients in ...

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

Not continuous. A point at which a function is discontinuous is called a discontinuity, or sometimes a jump.

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.