Search Results for ""

Let K be a finite complex, let h:|K|->|K| be a continuous map. If Lambda(h)!=0, then h has a fixed point.

Metamathematics is another word for proof theory. The branch of logic dealing with the study of the combination and application of mathematical symbols is also sometimes ...

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

The ordinary differential equation y^('')+k/xy^'+deltae^y=0.

The volume of a prismatoid is equal to the sum of the volumes of a pyramid, a wedge, and a parallelepiped.

A reduced root system is a root system R satisfying the additional property that, if alpha in R, then the only multiples of alpha in R are +/-alpha.

An expression built up from statements letters by appropriate application of connectives (Mendelson 1997, p. 13).

The application of characteristic p methods in commutative algebra, which is a synthesis of some areas of commutative algebra and algebraic geometry.

The quantity which a function f takes upon application to a given quantity.

The Woodbury formula (A+UV^(T))^(-1)=A^(-1)-[A^(-1)U(I+V^(T)A^(-1)U)^(-1)V^(T)A^(-1)] is a formula that allows a perturbed matrix to be computed for a change to a given ...