The Center for Computer Mathematics is devoted to

  • studying how to use computers to represent and manipulate mathematical concepts, mathematical expressions, and mathematical knowledge, to perform symbolic mathematical computation and reasoning, and to analyze, visualize, and process data and graphical objects;
  • designing and implementing efficient algorithms and software tools for doing mathematics with computer;
  • exploiting applications of computer mathematics in science, engineering, and education.

Founded in 2004 by Professor Dongming Wang, the center is part of Key Laboratory of Mathematics, Informatics and Behavioral Semantics, Ministry of Education, and School of Mathematical Sciences, Beihang University, China.