ISSAC 2000 International Symposium on Symbolic and Algebraic Computation