• “973”计划项目“数学机械化方法及其在数字化设计制造中的应用”
• "国家基金委创新研究群体"项目“数学机械化方法及其在信息技术中的应用”
• “中科院先导B类”项目“国家数学与交叉科学中心数学与先进制造交叉研究”
• “国家基金委重点”项目“基于符号-数值混合计算的误差可控算法及其应用”
• “国家自然科学基金面上”项目“代数的Hochschild同调与同调维数”
• “国家自然科学基金面上”项目“非自治光学畸形波的激发机理、参量调控和动力学研究”
• “国家自然科学基金面上”项目“基于签名的Groebner基算法及其应用”
• “国家科技支撑计划”项目“产品质量安全风险监测指标获取及筛查技术研究”
• “质检公益性行业科研专项”项目“综合标准化组织管理及标准综合体规划研究”
• “LIAMA 中法实验室”项目“ECCA”

研究基金

• 中国科学院数学机械化重点实验室开放课题申请表
• 中国科学院数学机械化重点实验室海外访问教授申请表

计算机使用申请

• 访问人员需要使用计算机，请填表格并发电子邮件给王定康(dwang@mmrc.iss.ac.cn)。