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