Search Results for ""

A method of proof which proceeds by stating a proposition and then showing that it results in a contradiction, thus demonstrating the proposition to be false. In the words of ...

A strict order > on the set of terms of a term rewriting system is called a reduction order if 1. The set of terms is well ordered with respect to >, that is, all its ...

A system in which words (expressions) of a formal language can be transformed according to a finite set of rewrite rules is called a reduction system. While reduction systems ...

A reflection relation is a functional equation relating f(-x) to f(x), or more generally, f(a-x) to f(x). Perhaps the best known example of a reflection formula is the gamma ...

A regular number, also called a finite decimal (Havil 2003, p. 25), is a positive number that has a finite decimal expansion. A number such as 1/3=0.33333... which is not ...

A regular patch is a patch x:U->R^n for which the Jacobian J(x)(u,v) has rank 2 for all (u,v) in U. A patch is said to be regular at a point (u_0,v_0) in U provided that its ...

A regular ring in the sense of commutative algebra is a commutative unit ring such that all its localizations at prime ideals are regular local rings. In contrast, a von ...

The regularized beta function is defined by I(z;a,b)=(B(z;a,b))/(B(a,b)), where B(z;a,b) is the incomplete beta function and B(a,b) is the (complete) beta function. The ...

A polygon that can be dissected into n smaller copies of itself is called a rep-n-tile. The triangular polygonal spiral is also a rep-tile. The above figure shows the zeroth ...

Resolution is a widely used word with many different meanings. It can refer to resolution of equations, resolution of singularities (in algebraic geometry), resolution of ...