ISSAC 2005

 July 24-27, 2005, Key Laboratory of Mathematics Mechanization, CAS, Beijing, China