International Symposium on Symbolic and Algebraic Computation (2004. Santander, España)