Computer algebra : symbolic and algebraic computation /

Table of Contents: “…Algebraic Simplification -- Computing with Groups and Their Character Tables -- Integration in Finite Terms -- Summation in Finite Terms -- Quantifier Elimination for Real Closed Fields: A Guide to the Literature -- Real Zeros of Polynomials -- Factorization of Polynomials -- Generalized Polynomial Remainder Sequences -- Computing by Homomorphic Images -- Computing in Transcendental Extensions -- Computing in Algebraic Extensions -- Arithmetic in Basic Algebraic Domains -- Computer Algebra Systems -- Computer Algebra Applications -- Some Useful Bounds -- Author and Subject Index.…”