Search Results for ""

If A is true precisely unless B, then B implies not-A and not-B implies A. J. H. Conway has suggested the term "unlesss" for this state of affairs, by analogy with iff.

A vector whose elements are real numbers.

A ringoid is a set R with two binary operators, conventionally denoted addition (+) and multiplication (×), where × distributes over + left and right: a(b+c)=ab+ac and ...

The logical axiom R(x,y)=!(!(x v y) v !(x v !y))=x, where !x denotes NOT and x v y denotes OR, that, when taken together with associativity and commutativity, is equivalent ...

An estimation technique which is insensitive to small departures from the idealized assumptions which have been used to optimize the algorithm. Classes of such techniques ...

Let f be analytic on the unit disk, and assume that 1. |f(z)|<=1 for all z and 2. f(0)=0. Then |f(z)|<=|z| and |f^'(0)|<=1. If either |f(z)|=|z| for some z!=0 or if ...

A semiring is a set together with two binary operators S(+,*) satisfying the following conditions: 1. Additive associativity: For all a,b,c in S, (a+b)+c=a+(b+c), 2. Additive ...

Let A be a C^*-algebra, then a state is a positive linear functional on A of norm 1.

Let f be a function defined on a set A and taking values in a set B. Then f is said to be a surjection (or surjective map) if, for any b in B, there exists an a in A for ...

In nonstandard analysis, the transfer principle is the technical form of the following intuitive idea: "Anything provable about a given superstructure V by passing to a ...