Search Results for ""

A line along a normal vector (i.e., perpendicular to some tangent line). If K subset R^d is a centrosymmetric set which has a twice differentiable boundary, then there are ...

Let A be a set. An operation on A is a function from a power of A into A. More precisely, given an ordinal number alpha, a function from A^alpha into A is an alpha-ary ...

A set of two numbers or objects linked in some way is said to be a pair. The pair a and b is usually denoted (a, b), and is generally considered to be ordered, making it a ...

A patch (also called a local surface) is a differentiable mapping x:U->R^n, where U is an open subset of R^2. More generally, if A is any subset of R^2, then a map x:A->R^n ...

If mu=(mu_1,mu_2,...,mu_n) is an arbitrary set of positive numbers, then all eigenvalues lambda of the n×n matrix a=a_(ij) lie on the disk |z|<=m_mu, where ...

Let A be a C^*-algebra. An element a in A is called positive if a=a* and sp(a) subset= R^+, or equivalently if there exists an element b in A such that a=bb^*. For example, ...

A short set of data that proves the primality of a number. A certificate can, in general, be checked much more quickly than the time required to generate the certificate. ...

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 ...

Let C^omega(I) be the set of real analytic functions on I. Then C^omega(I) is a subalgebra of C^infty(I). A necessary and sufficient condition for a function f in C^infty(I) ...

A proposition is a mathematical statement such as "3 is greater than 4," "an infinite set exists," or "7 is prime." An axiom is a proposition that is assumed to be true. With ...