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 ...

Let Gamma be a representation for a group of group order h, then sum_(R)Gamma_i(R)_(mn)Gamma_j(R)_(m^'n^')^*=h/(sqrt(l_il_j))delta_(ij)delta_(mm^')delta_(nn^'). The proof is ...

A knot move illustrated above. Two knots cannot be distinguished using Vassiliev invariants of order <=n iff they are related by a sequence of such moves (Habiro 2000). There ...

A heptomino is a 7-polyomino. There are 108 free (illustrated above), 196 one-sided, and 760 fixed heptominoes. There is a single heptomino containing a hole (illustrated ...

Every modular system has a modular system basis consisting of a finite number of polynomials. Stated another way, for every order n there exists a nonsingular curve with the ...

Let J_nu(z) be a Bessel function of the first kind, N_nu(z) a Bessel function of the second kind, and j_(nu,n)(z) the zeros of z^(-nu)J_nu(z) in order of ascending real part. ...

A lattice which is built up of layers of n-dimensional lattices in (n+1)-dimensional space. The vectors specifying how layers are stacked are called glue vectors. The order ...

A generalization of the product rule for expressing arbitrary-order derivatives of products of functions, where (n; k) is a binomial coefficient. This can also be written ...

The Maclaurin-Bézout theorem says that two curves of degree n intersect in n^2 points, so two cubics intersect in nine points. This means that n(n+3)/2 points do not always ...

The nth-order Menger sponge graph is the connectivity graph of cubes in the nth iteration of the Menger sponge fractal. The first two iterations are shown above. The n-Menger ...