ISSAC '04: International Symposium on Symbolic and Algebraic Computation