Author: International Symposium on Symbolic and Algebraic Computation (2000 St. Andrews, Scotland)