The Center for Computer Mathematics is devoted to

• studying how to use computers to represent and manipulate mathematical notions, symbols, and knowledge, to perform mathematical computation and reasoning, and to visualize, analyze, and process data and figures;
• designing and implementing efficient algorithms and software tools for doing mathematics by computer;
• exploiting applications of computer mathematics in science, engineering, and education.

   Directed by Professor Dongming Wang, the center is part of the Key Laboratory of
   Mathematics, Informatics and Behavioral Semantics of the Ministry of Education of
   China and the School of Science, Beihang University.