Search Results for ""

The quotient space X/∼ of a topological space X and an equivalence relation ∼ on X is the set of equivalence classes of points in X (under the equivalence relation ∼) ...

If A is a class of recursively enumerable sets, then the set of Gödel numbers of functions whose domains belong to A is called its index set. If the index set of A is a ...

Let R be the class of expressions generated by 1. The rational numbers and the two real numbers pi and ln2, 2. The variable x, 3. The operations of addition, multiplication, ...

A class of subvarieties of the Grassmannian G(n,m,K). Given m integers 1<=a_1<...<a_m<=n, the Schubert variety Omega(a_1,...,a_m) is the set of points of G(n,m,K) ...

An object is said to be self-similar if it looks "roughly" the same on any scale. Fractals are a particularly interesting class of self-similar objects. Self-similar objects ...

The general sextic equation x^6+a_5x^5+a_4x^4+a_3x^3+a_2x^2+a_1x+a_0=0 can be solved in terms of Kampé de Fériet functions, and a restricted class of sextics can be solved in ...

Let L be a language of first-order predicate logic, let I be an indexing set, and for each i in I, let A_i be a structure of the language L. Let u be an ultrafilter in the ...

A theorem, also called a unicity theorem, stating the uniqueness of a mathematical object, which usually means that there is only one object fulfilling given properties, or ...

A lucky number of Euler is a number p such that the prime-generating polynomial n^2-n+p is prime for n=1, 2, ..., p-1. Such numbers are related to the imaginary quadratic ...

A weak snark is a cyclically 4-edge connected cubic graph with edge chromatic number 4 and girth at least 4 (Brinkmann et al. 2013). Weak snarks therefore represent a more ...