Publisher's Note This book presents the basic concepts and algorithms of computer algebra using practical examples that illustrate their actual use in symbolic computation. A wide range of topics are presented, including Grobner bases, real algebraic geometry, factorization of polynomials.