A birds-eye view of Groebner bases
A new decision method for elementary algebra
Algorithmic algebra
An introduction to semialgebraic geometry
Automata-Theoretic Aspects of Formal Power Series
Computational aspects of commutative algebra
Computational commutative algebra 1
Computational Introduction to Number Theory and Algebra
Effective methods in algebraic geometry
Elimination methods in polynomial computer algebra
Groebner bases and commutative algebra
Hypergeometric Summation. An algorithmic approach to summation and special function identities.
Introduction to semialgebraic geometry
Noncommutative Groebner bases and filtered-graded transfer
Polynomial and matrix computations. Fundamental algorithms. Vol.1
Polynomials with special regard to reducibility
Идеалы многообразия и алгоритмы
Компьютерная алгебра. Вычисления в дифференциально-разностной алгебре