mathematics and mathematical logic, Boolean algebra is a branch of algebra. It differs from elementary algebra in two ways. First, the values of the variables...

In database theory, relational algebra is a theory that uses algebraic structures for modeling data and defining queries on it with well founded semantics...

successor models to the CFX-9970G, the first Casio calculator with computer algebra system, or CAS, a program for symbolic manipulation of mathematical expressions...

In computer science, the maximum sum subarray problem, also known as the maximum segment sum problem, is the task of finding a contiguous subarray with...

applications that perform symbolic calculations are called computer algebra systems, with the term system alluding to the complexity of the main applications...

subspace. As K-algebras, they generalize the real numbers, complex numbers, quaternions and several other hypercomplex number systems. The theory of Clifford...

simple round number occurring frequently in computer applications. 1024 is the maximum number of computer memory addresses that can be referenced with...

graphs. The following decision problem related to maximum cuts has been studied widely in theoretical computer science: Given a graph G and an integer k, determine...

portable, general-purpose computer algebra system (CAS) that can symbolically solve, simplify, combine and compare algebraic equations, and can perform...

some field k. A solution of a polynomial system is a set of values for the xis which belong to some algebraically closed field extension K of k, and make...