In universal algebra and mathematical logic, a term algebra is a freely generated algebraic structure over a given signature. For example, in a signature...

"algebra" can also refer to other algebraic structures, like a Lie algebra or an associative algebra. The word algebra comes from the Arabic term الجبر...

mathematics, an algebra over a field (often simply called an algebra) is a vector space equipped with a bilinear product. Thus, an algebra is an algebraic structure...

universal algebra, an algebraic structure is called an algebra; this term may be ambiguous, since, in other contexts, an algebra is an algebraic structure...

the term Boolean algebra was first suggested by Henry M. Sheffer in 1913, although Charles Sanders Peirce gave the title "A Boolian [sic] Algebra with...

the event of a dispute. The term "algebraic notation" may be considered a misnomer, as the system is unrelated to algebra. Each square of the board is...

polynomial, or a series, a special case of a summand Term algebra, a freely generated algebraic structure Term logic, an approach to logic that began with Aristotle...

Universal algebra (sometimes called general algebra) is the field of mathematics that studies algebraic structures themselves, not examples ("models")...

important in, for example, term rewriting. Given a signature for the function symbols, the set of all terms forms the free term algebra. The set of all ground...

to the same set. The term algebraic operation may also be used for operations that may be defined by compounding basic algebraic operations, such as the...

equation), he has been described as the father or founder of algebra. The English term algebra comes from the short-hand title of his aforementioned treatise...

reasons, the term B*-algebra is rarely used in current terminology, and has been replaced by the term 'C*-algebra'. The term C*-algebra was introduced...

Similarly the term "algebra over X {\displaystyle X} " is used in the sense of a Boolean algebra and should not be confused with algebras over fields or...

multivariate polynomial equation over the rationals. For many authors, the term algebraic equation refers only to the univariate case, that is polynomial equations...

elements. Algebraic structures include groups, rings, fields, modules, vector spaces, lattices, and algebras over a field. The term abstract algebra was coined...

Leeuwen (ed.). Algebraic Specification. Handbook of Theoretical Computer Science. Vol. B. Elsevier. pp. 675–788., here: p. 682. From a term algebra point of...

In mathematics, especially in the area of abstract algebra known as ring theory, a free algebra is the noncommutative analogue of a polynomial ring since...

Solvers include satisfiability modulo theories solvers. Algebraic data type Initial algebra Term algebra Theory of pure equality Bryant, Randal E.; Lahiri,...

optimization technique for rapidly locating the free variables in a term algebra or in a lambda expression. Director strings were introduced by Kennaway...

algebraic statistics has been associated with the design of experiments and multivariate analysis (especially time series). In recent years, the term...

sentential logic, perceived as a term algebra with a consequence operation on its universe, the largest congruence on the algebra that is compatible with the...

accordance with the custom to allow nullary terms and nullary term operations in universal algebra. Typically, publications studying clones as abstract clones...

Algebra can essentially be considered as doing computations similar to those of arithmetic but with non-numerical mathematical objects. However, until...

article we will also use the term K-algebra to mean an associative algebra over K. A standard first example of a K-algebra is a ring of square matrices...

objects are sequences of symbols, the objects of a term rewriting system form a term algebra. A term can be visualized as a tree of symbols, the set of...

{b^{2}-4ac}}}{2a}}}}}} Elementary algebra, also known as high school algebra or college algebra, encompasses the basic concepts of algebra. It is often contrasted...

In mathematics, a ring is an algebraic structure consisting of a set with two binary operations called addition and multiplication, which obey the same...

field is algebraically closed if the fundamental theorem of algebra holds for it. Every field K {\displaystyle K} is contained in an algebraically closed...

of a function Domain theory Interpretation (logic) Quantifier (logic) Term algebra Universe (mathematics) Corcoran, John. Universe of discourse. Cambridge...

In functional analysis, a branch of mathematics, an operator algebra is an algebra of continuous linear operators on a topological vector space, with...