"46" Result
Sort By:
An algorithmic approach to the study of algebra is revealed by this text, which explores Groebner bases, defined by Buchberger in 1965, and the Buchberger algorithm. Algorithms using Groebner bases are implemented in almost every major computer algebra software system.
Algebraic specification, nondeterminism and term rewriting are three active research areas aiming at concepts for the abstract description of software systems: Algebraic specifications are well-suited for describing data structures and sequential software systems in an abstract …
"Algorithmic Algebra studies some of the main algorithmic tools of computer algebra, covering such topics as Gröbner bases, characteristic sets, resultants and semialgebraic sets. The main purpose of the book is to acquaint advanced undergraduate and graduate students in compute…
Maple V library reference manual
0
Type: Book
