Search Results for ""

The absence of contradiction (i.e., the ability to prove that a statement and its negative are both true) in an Axiomatic system is known as consistency.

The slicing of a three-dimensional object by a plane (or more general slice).

A proof which can be accomplished using only real numbers (i.e., real analysis instead of complex analysis; Hoffman 1998, pp. 92-93).

A singular point a for which f(z)(z-a)^n is not differentiable for any integer n>0.

The question of whether a solution to a given problem exists. The existence problem can be solved in the affirmative without actually finding a solution to the original ...

A group action phi:G×X->X is called faithful if there are no group elements g (except the identity element) such that gx=x for all x in X. Equivalently, the map phi induces ...

The graph complement of a graph hole. Graph antiholes are called even if they have an even number of vertices and odd if they have an odd number of vertices (Chvátal). No odd ...

The upper and lower hinges are descriptive statistics of a set of N data values, where N is of the form N=4n+5 with n=0, 1, 2, .... The hinges are obtained by ordering the ...

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 ...

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