ISSAC2005 is sponsored by ACM
Association for Computing Machinery
with financial support from
National Natural Science Foundation of China
Maplesoft
Academy of Mathematics and Systems Science
Institute of Systems Science
Key Laboratory of Mathematics Mechanization
Institut National De Recherche En Informatique Et En Automatique