• 广西民族大学： 数据、知识与计算研究中心 | 软件与信息安全学院 | 信息科学与工程学院 | 图书馆
• 中国科学院：数学机械化重点实验室 | 数学与系统科学研究院 | 软件研究所 | 信息工程研究所
• 北京大学 - 清华大学 - 中国科学技术大学 - 北京航空航天大学 - 南京大学 - 广西大学


• 巴黎第六大学计算机科学实验室 PolSys - 奥地利林茨大学符号计算研究所 RISC -
  加拿大滑铁卢大学、西安大略大学、劳里埃大学 ORCCA - 美国北卡罗莱那州立大学 数学系


• 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