Computer Algebra: Symbolic and Algebraic Computation

✍ Scribed by Buchberger B., Collins G.E., Loos R. (eds.)

• Publisher: Springer
• Year: 1982
• Tongue: English
• Leaves: 283
• Series: Computing Supplementa
• Edition: 1ed.
• Category: Library

✦ Table of Contents

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