TOPICS
Search

Search Results for ""


551 - 560 of 2405 for Conjunctive Normal FormSearch Results
The general unitary group GU_n(q) is the subgroup of all elements of the general linear group GL(q^2) that fix a given nonsingular Hermitian form. This is equivalent, in the ...
The discontinuous solution of the surface of revolution area minimization problem for surfaces connecting two circles. When the circles are sufficiently far apart, the usual ...
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 ...
1 ... 53|54|55|56|57|58|59 ... 241 Previous Next

...