• Guangxi Univesity for Nationalities: Center for Data, Knowledge and Computation |
  College of Software and Information Security | College of Information Science and Engineering | Library
• Chinese Academy of Sciences: Key Laboratory of Mathematics Mechanization |
  Academy of Mathematics and Systems Science | Institute of Software | Institute of Information Engineering
• Peking University - Tsinghua University - University of Science and Technology China -
  Beihang University - Nanjing University - Guangxi University


• PolSys @ Laboratoire d'Informatique de Paris 6 - RISC-Linz @ Johannes Kepler University -
  ORCCA @ University of Waterloo, University of Western Ontario, and Wilfrid Laurier University -
  Mathematics @ North Carolina State University


• Epsilon - Maple - Mathematica - Matlab - Singular - Magma - CoCoA - Cinderella - GeoGebra - GEOTHER


• Mathematics in Computer Science - Journal of Symbolic Computation -
  Annals of Mathematics and Artificial Intelligence - Theoretical Computer Science -
  Mathematics of Computation - SCIENCE CHINA Information Sciences -
  SCIENCE CHINA Mathematics - Journal of Systems Science and Complexity
  
  
• ISSAC - AISC - ACA - ICMS - MACIS - CASC - ADG - SYNASC - ASCM


• MathSciNet - Zentralblatt MATH - DBLP - Google Scholar - SpringerLink - ScienceDirect -
  ACM Digital Library - IEEE Xplore - EI - SCI - Scopus