Search Results for ""

An important result in ergodic theory. It states that any two "Bernoulli schemes" with the same measure-theoretic entropy are measure-theoretically isomorphic.

The smallest radial distance of an ellipse as measured from a focus. Taking v=0 in the equation of an ellipse r=(a(1-e^2))/(1+ecosv) gives the periapsis distance r_-=a(1-e). ...

One petabyte is 10^(15) bytes. Unfortunately, the term is sometimes also used to mean 2^(50)=1024^5 bytes. However, the latter usage is deprecated, and the term pebibyte is ...

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.