Computer algebra symbolic and algebraic computation
0
Type: Book
Introduction. Algebraic Simplification. Computing with Groups and Their Character Tables. Integration in Finite Terms.Summation in Finite Terms. Quantifer Elimination for Real Closed Fields: A guide to the Literature. Real Zeros of Polynomials. Factorization of Polynomials. Gene…