Search Results for ""

The rule (F,F=>G)/G, where => means "implies," which is the sole rule of inference in propositional calculus. This rule states that if each of F and F=>G is either an axiom ...

An algebraic expression containing more than one term (cf., binomial). The term is also used to refer to a polynomial.

A continuous map f:X->Y between topological spaces is said to be null-homotopic if it is homotopic to a constant map. If a space X has the property that id_X, the identity ...

Orthogonal involution, also called absolute involution, is the involution on the line at infinity that maps orthogonal directions to each other.

A tensor notation which considers the Riemann tensor R_(lambdamunukappa) as a matrix R_((lambdamu)(nukappa)) with indices lambdamu and nukappa.

If a polynomial P(x) has a root x=a, i.e., if P(a)=0, then x-a is a factor of P(x).

A triangle center is said to be polynomial iff there is a triangle center function f that is a polynomial in a, b, and c (Kimberling 1998, p. 46).

The slope b of a line obtained using linear least squares fitting is called the regression coefficient.

A spigot algorithm is an algorithm which generates digits of a quantity one at a time without using or requiring previously computed digits. Amazingly, spigot algorithms are ...

A tensor category (C, tensor ,I,a,r,l) is strict if the maps a, l, and r are always identities. A related notion is that of a tensor R-category.