Ebook: Computer Algebra: Symbolic and Algebraic Computation

---

Content:
Front Matter....Pages I-VII
Introduction....Pages 1-10
Algebraic Simplification....Pages 11-43
Computing with Groups and Their Character Tables....Pages 45-56
Integration in Finite Terms....Pages 57-69
Summation in Finite Terms....Pages 71-77
Quantifier Elimination for Real Closed Fields: A Guide to the Literature....Pages 79-81
Real Zeros of Polynomials....Pages 83-94
Factorization of Polynomials....Pages 95-113
Generalized Polynomial Remainder Sequences....Pages 115-137
Computing by Homomorphic Images....Pages 139-168
Computing in Transcendental Extensions....Pages 169-172
Computing in Algebraic Extensions....Pages 173-187
Arithmetic in Basic Algebraic Domains....Pages 189-220
Computer Algebra Systems....Pages 221-243
Computer Algebra Applications....Pages 245-258
Some Useful Bounds....Pages 259-263
Back Matter....Pages 265-285

---

Content:
Front Matter....Pages I-VII
Introduction....Pages 1-10
Algebraic Simplification....Pages 11-43
Computing with Groups and Their Character Tables....Pages 45-56
Integration in Finite Terms....Pages 57-69
Summation in Finite Terms....Pages 71-77
Quantifier Elimination for Real Closed Fields: A Guide to the Literature....Pages 79-81
Real Zeros of Polynomials....Pages 83-94
Factorization of Polynomials....Pages 95-113
Generalized Polynomial Remainder Sequences....Pages 115-137
Computing by Homomorphic Images....Pages 139-168
Computing in Transcendental Extensions....Pages 169-172
Computing in Algebraic Extensions....Pages 173-187
Arithmetic in Basic Algebraic Domains....Pages 189-220
Computer Algebra Systems....Pages 221-243
Computer Algebra Applications....Pages 245-258
Some Useful Bounds....Pages 259-263
Back Matter....Pages 265-285
....