Search Results for ""

A topology tau on a topological vector space X=(X,tau) (with X usually assumed to be T2) is said to be locally convex if tau admits a local base at 0 consisting of balanced, ...

The so-called Malthusian equation is an antiquated term for the equation N(t)=N_0e^(lambdat) describing exponential growth. The constant lambda is sometimes called the ...

The inconic having inconic parameters x:y:z=a/(b+c-a):b/(a+c-b):c/(a+b-c). Its center is the mittenpunkt M of the triangle and its Brianchon point is the Nagel point Na. The ...

The study of the inner structure of a mathematical theory considered as a whole. It deals with the general properties of the rules according to which the objects of a certain ...

The midcircle of two given circles is the circle which would invert the circles into each other. Dixon (1991) gives constructions for the midcircle for four of the five ...

A class of automata similar to cellular automata but which have a single "active" cell instead of updating all cells in parallel. In a mobile automaton, the evolution rules ...

The equation x_1^2+x_2^2+...+x_n^2-2x_0x_infty=0 represents an n-dimensional hypersphere S^n as a quadratic hypersurface in an (n+1)-dimensional real projective space ...

Let A be a non-unital C^*-algebra. There is a unique (up to isomorphism) unital C^*-algebra which contains A as an essential ideal and is maximal in the sense that any other ...

A type of mathematical result which is considered by most logicians as more natural than the metamathematical incompleteness results first discovered by Gödel. Finite ...

A sentential formula that contains at least one free variable (Carnap 1958, p. 24). A sentential variable containing no free variables (i.e., all variables are bound) is ...