Jaime Gutierrez Symbolic and Algebraic Computation, International Symposium ISSAC 2004, Santander, Spain, July 4-7, 2004, Proceedings ISSAC ACM 2004 1-58113-827-X db/conf/issac/issac2004.html