Search Results for ""

Consider a clause (disjunction of literals) obtained from those of a first-order logic formula Phi in Skolemized form forall x_1... forall x_nS. Then a literal obtained from ...

The set of all ground atoms that can be formed from predicate symbols from a clause in Skolemized form S and terms from the Herbrand universe H of S.

Harmonic coordinates satisfy the condition Gamma^lambda=g^(munu)Gamma_(munu)^lambda=0, (1) or equivalently, partial/(partialx^kappa)(sqrt(g)g^(lambdakappa))=0. (2) It is ...

A Lorentz tensor is any quantity which transforms like a tensor under the homogeneous Lorentz transformation.

A tensor notation which considers the Riemann tensor R_(lambdamunukappa) as a matrix R_((lambdamu)(nukappa)) with indices lambdamu and nukappa.

The Poincaré group is another name for the inhomogeneous Lorentz group (Weinberg 1972, p. 28) and corresponds to the group of inhomogeneous Lorentz transformations, also ...

"Poincaré transformation" is the name sometimes (e.g., Misner et al. 1973, p. 68) given to what other authors (e.g., Weinberg 1972, p. 26) term an inhomogeneous Lorentz ...

A zero tensor is a tensor of any rank and with any pattern of covariant and contravariant indices all of whose components are equal to 0 (Weinberg 1972, p. 38).

The ruliad may be defined as the entangled limit of everything that is computationally possible, i.e., the result of following all possible computational rules in all ...

A spectral sequence is a tool of homological algebra that has many applications in algebra, algebraic geometry, and algebraic topology. Roughly speaking, a spectral sequence ...