Search Results for ""

Let n be an integer variable which tends to infinity and let x be a continuous variable tending to some limit. Also, let phi(n) or phi(x) be a positive function and f(n) or ...

A theorem which states that the analytic and topological "indices" are equal for any elliptic differential operator on an n-dimensional compact smooth C^infty boundaryless ...

The atom-spiral, also known as the atomic spiral, is the curve with polar equation r=theta/(theta-a) for a real parameter a (van Maldeghem 2002). When theta is allows to vary ...

An augmented matrix is a matrix obtained by adjoining a row or column vector, or sometimes another matrix with the same vertical dimension. The most common use of an ...

A parametric latitude which gives a sphere equal surface area relative to an ellipsoid. The authalic latitude is defined by beta=sin^(-1)(q/(q_p)), (1) where ...

An automorphic function f(z) of a complex variable z is one which is analytic (except for poles) in a domain D and which is invariant under a countably infinite group of ...

The circumcircle of an ellipse, i.e., the circle whose center concurs with that of the ellipse and whose radius is equal to the ellipse's semimajor axis.

Propositional calculus, first-order logic, and other theories in mathematical logic are defined by their axioms (or axiom schemata, plural: axiom schemata) and inference ...

The axiom of Zermelo-Fraenkel set theory which asserts that sets formed by the same elements are equal, forall x(x in a=x in b)=>a=b. Note that some texts (e.g., Devlin ...

The axiom of Zermelo-Fraenkel set theory which asserts the existence of a set containing all the natural numbers, exists x(emptyset in x ^ forall y in x(y^' in x)), where ...