Search Results for ""

An algebraic equation is algebraically solvable iff its group is solvable. In order that an irreducible equation of prime degree be solvable by radicals, it is necessary and ...

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

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