Cohen J. Computer Algebra and Symbolic Computation. Mathematical Methods 2003