Search Results for ""

Let n-1=FR where F is the factored part of a number F=p_1^(a_1)...p_r^(a_r), (1) where (R,F)=1, and R<sqrt(n). Pocklington's theorem, also known as the Pocklington-Lehmer ...

Members of a coaxal system satisfy x^2+y^2+2lambdax+c=(x+lambda)^2+y^2+c-lambda^2=0 for values of lambda. Picking lambda^2=c then gives the two circles (x+/-sqrt(c))^2+y^2=0 ...

Polyrhombs are polyforms obtained from a rhombic grid, illustrated above. The numbers of polyrhombs with n=1, 2, ... components are 1, 1, 3, 7, 20, 62, 204, ... (OEIS ...

The branch of formal logic, also called functional calculus, that deals with representing the logical connections between statements as well as the statements themselves.

A premise is a statement that is assumed to be true. Formal logic uses a set of premises and syllogisms to arrive at a conclusion.

QD=1/2(Q_3-Q_1), where Q_1 and Q_3 are the first and third quartiles and Q_3-Q_1 is the interquartile range.

A foliation which has no Reeb components is said to be Reebless.

Suppose for every point x in a manifold M, an inner product <·,·>_x is defined on a tangent space T_xM of M at x. Then the collection of all these inner products is called ...

Let H be a subgroup of G. A subset T of elements of G is called a right transversal of H if T contains exactly one element of each right coset of H.

The rotation operator can be derived from examining an infinitesimal rotation (d/(dt))_(space)=(d/(dt))_(body)+omegax, where d/dt is the time derivative, omega is the angular ...