Table of Contents
Introduction and general overview
Arithmetic in basic domains(English
postscript)
Computing by homomorphic images (English
postscript)
Greatest common divisors of polynomials (English
postscript)
Factorization of polynomials (English
postscript)
Linear algebra-Solving linear systems
Wu-Ritt Characteristic Set method (English
postscript)
The method of Grobner basis (English
postscript)
Simplification of Real Polynomial Systems (English
postscript)
Indefinite summation