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

The Harada-Norton group is the sporadic group HN of order |HN| = 273030912000000 (1) = 2^(14)·3^6·5^6·7·11·19. (2) It is implemented in the Wolfram Language as ...

The Held group is the sporadic group He of order |He| = 4030387200 (1) = 2^(10)·3^3·5^2·7^3·17. (2) It is implemented in the Wolfram Language as HeldGroupHe[].

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

z(1-z)(d^2y)/(dz^2)+[c-(a+b+1)z](dy)/(dz)-aby=0. It has regular singular points at 0, 1, and infty. Every second-order ordinary differential equation with at most three ...

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