Search Results for ""

A connective in logic which yields true if any one of a sequence conditions is true, and false if all conditions are false. In formal logic, the term disjunction (or, more ...

The symbol int used to denote an integral intf(x)dx. The symbol was invented by Leibniz and chosen to be a stylized script "S" to stand for "summation."

The symbol ÷ used to indicate division. In typography, an obelus has a more general definition as any symbol, such as the dagger (|), used to indicate a footnote (Bringhurst ...

The symbol used by engineers and some physicists to denote i, the imaginary number sqrt(-1). j is probably preferred over i because the symbol i (or I) is commonly used to ...

Every finite-dimensional Lie algebra of characteristic p=0 has a faithful finite-dimensional representation.

An operator Gamma=sum_(i=1)^me_i^Ru^(iR) on a representation R of a Lie algebra.

Every finite-dimensional Lie algebra of characteristic p!=0 has a faithful finite-dimensional representation.

If A is a normed algebra, a net {e_i} in A is called an approximate identity for A if sup_(i)|e_i|<infty and if for each a in A, e_ia->a and ae_i->a. Though this definition ...

The identity (xy)x^2=x(yx^2) satisfied by elements x and y in a Jordan algebra.

The conjecture that the equations for a Robbins algebra, commutativity, associativity, and the Robbins axiom !(!(x v y) v !(x v !y))=x, where !x denotes NOT and x v y denotes ...