Polynomial Algorithms in Computer Algebra (Texts and mongraphs in symbolic computation)