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

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

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

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

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

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

includes a programming language and computer algebra capabilities. PARI/GP is a widely used computer algebra system designed for fast computations in number...