International Symposium on Symbolic and Algebraic Computation [ISSAC 2005]

General Information

Conference Date: 24/07/2005 - 27/07/2005

Venue: Key Laboratory of Mathematics Mechanization, CAS, Beijing, China