"Computer Algebra: Symbolic and Algebraic Computation" - читать интересную книгу автора (Buchberger B., Collins G., Loos R. (eds.))