ISSAC '03: International Symposium on Symbolic and Algebraic Computation