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