Computer alegebra and symbolic computation : mathematical methods - Cohen, Joel S. (A.K. Peters, 2003)