Search Results for ""

The algebra A is called a pre-C^*-algebra if it satisfies all conditions to be a C^*-algebra except that its norm need not be complete.

The set of prime numbers, sometimes denoted P (Derbyshire 2004, p. 163), and implemented in the Wolfram Language as Primes. In the Wolfram Language, a quantity can be tested ...

A group action of a topological group G on a topological space X is said to be a proper group action if the mapping G×X->X×X(g,x)|->(gx,x) is a proper map, i.e., inverses of ...

A submodule that is not the entire module.

A knot having the property that no surgery could possibly yield a counterexample to the Poincaré conjecture is said to satisfy Property P (Adams 1994, p. 262).

A metric space Z^^ in which the closure of a congruence class B(j,m) is the corresponding congruence class {x in Z^^|x=j (mod m)}.

A pseudo-Riemannian manifold is a manifold which has a metric that is of the signature diag(-,+,...,+), as compared to a Riemannian manifold, which has a signature of all ...

An action which adds a single element to the top of a stack, turning the stack (a_1, a_2, ..., a_n) into (a_0, a_1, a_2, ..., a_n).

Given the binary quadratic form ax^2+2bxy+cy^2 (1) with polynomial discriminant b^2-ac, let x = pX+qY (2) y = rX+sY. (3) Then a(pX+qY)^2+2b(pX+qY)(rX+sY)+c(rX+sY)^2 ...

A quadratic recurrence is a recurrence equation on a sequence of numbers {x_n} expressing x_n as a second-degree polynomial in x_k with k<n. For example, x_n=x_(n-1)x_(n-2) ...