Search Results for ""

A computation is an operation that begins with some initial conditions and gives an output which follows from a definite set of rules. The most common example are ...

Computation time (also called "running time") is the length of time required to perform a computational process. Representation a computation as a sequence of rule ...

"The" continuity axiom is an additional Axiom which must be added to those of Euclid's Elements in order to guarantee that two equal circles of radius r intersect each other ...

Given an affine variety V in the n-dimensional affine space K^n, where K is an algebraically closed field, the coordinate ring of V is the quotient ring ...

The symbol union , used for the union of sets, and, sometimes, also for the logical connective OR instead of the symbol v (vee). In fact, for any two sets A and B x in A ...

A series suma(n)e^(-lambda(n)z), where a(n) and z are complex and {lambda(n)} is a monotonic increasing sequence of real numbers. The numbers lambda(n) are called the ...

Two quantities are said to be equal if they are, in some well-defined sense, equivalent. Equality of quantities a and b is written a=b. Equal is implemented in the Wolfram ...

Two metrics g_1 and g_2 defined on a space X are called equivalent if they induce the same metric topology on X. This is the case iff, for every point x_0 of X, every ball ...

The 21 assumptions which underlie the geometry published in Hilbert's classic text Grundlagen der Geometrie. The eight incidence axioms concern collinearity and intersection ...

There are two possible definitions: 1. Possessing similarity of form, 2. Continuous, one-to-one, in surjection, and having a continuous inverse. The most common meaning is ...