Search Results for ""

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

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 study, first developed by Boole, of shift-invariant operators which are polynomials in the differential operator D^~. Heaviside calculus can be used to solve any ordinary ...

A polygonal number of the form n(5n-3)/2. The first few are 1, 7, 18, 34, 55, 81, 112, ... (OEIS A000566). The generating function for the heptagonal numbers is ...

A pyramidal number of the form n(n+1)(5n-2)/6, The first few are 1, 8, 26, 60, 115, ... (OEIS A002413). The generating function for the heptagonal pyramidal numbers is ...

A symbol used to represent the point and space groups (e.g., 2/m3^_). Some symbols have abbreviated form. The equivalence between Hermann-Mauguin symbols (a.k.a. ...

A pyramidal number of the form n(n+1)(4n-1)/6, The first few are 1, 7, 22, 50, 95, ... (OEIS A002412). The generating function of the hexagonal pyramidal numbers is ...

On an oriented n-dimensional Riemannian manifold, the Hodge star is a linear function which converts alternating differential k-forms to alternating (n-k)-forms. If w is an ...

An inner automorphism of a group G is an automorphism of the form phi(g)=h^(-1)gh, where h is a fixed element of G. The automorphism of the symmetric group S_3 that maps the ...

Given a matrix A, a Jordan basis satisfies Ab_(i,1)=lambda_ib_(i,1) and Ab_(i,j)=lambda_ib_(i,j)+b_(i,j-1), and provides the means by which any complex matrix A can be ...