Institute of Theoretical Computer Science ETH Zurich
International Symposium on Symbolic and Algebraic Computation (ISSAC) 2001
presents original research results in all areas of symbolic mathematical computation. July 22 - 25, 2001, University of Western Ontario
Research Institute for Symbolic Computation
University of Waterloo - Symbolic Computation
information on the computer algebra system Maple