Search Results for ""

The incentral circle is the circumcircle of the incentral triangle. It has radius R_I=(sqrt(abcf(a,b,c)f(b,c,a)f(c,a,b)))/(8Delta(a+b)(a+c)(b+c)), (1) where Delta is the area ...

The eight of Hilbert's axioms which concern collinearity and intersection; they include the first four of Euclid's postulates.

Given a subset B of a set A, the injection f:B->A defined by f(b)=b for all b in B is called the inclusion map.

A disjunction that remains true if either or both of its arguments are true. This is equivalent to the OR connective. By contrast, the exclusive disjunction is true if only ...

Two lengths are called incommensurate or incommensurable if their ratio cannot be expressed as a ratio of whole numbers. Irrational numbers and transcendental numbers are ...

Two rectangles, neither of which will fit inside the other, are said to be incomparable. This is equivalent to one rectangle being both longer and narrower. At least seven ...

A formal theory is said to be incomplete if it contains fewer theorems than would be possible while still retaining consistency.

A continuum that is not decomposable is an indecomposable continuum.

The indefinite summation operator Delta^(-1) for discrete variables, is the equivalent of integration for continuous variables. If DeltaY(x)=y(x), then Delta^(-1)y(x)=Y(x).

If sets E and F are independent, then so are E and F^', where F^' is the complement of F (i.e., the set of all possible outcomes not contained in F). Let union denote "or" ...