Search Results for ""

A requirement necessary for a given statement or theorem to hold. Also called a criterion.

The formal term in propositional calculus for the connective implies.

The conditional probability of an event A assuming that B has occurred, denoted P(A|B), equals P(A|B)=(P(A intersection B))/(P(B)), (1) which can be proven directly using a ...

A set X is called a "cone" with vertex at the origin if for any x in X and any scalar a>=0, ax in X.

The endpoints of a confidence interval are known as the confidence limits.

Confocal conics are conic sections sharing a common focus. Any two confocal central conics are orthogonal (Ogilvy 1990, p. 77).

Confocal parabolas are parabolas sharing a common focus.

A topological structure which interpolates between contact structures and codimension-one foliations.

The five of Hilbert's axioms which concern geometric equivalence.

An equation of the form f(x)=b (mod m), (1) where the values of 0<=x<m for which the equation holds are sought. Such an equation may have none, one, or many solutions. There ...