上一条：国家自然科学基金，“区间分析及其在几何造型与图形学中应用的研究”，2000-2002， 经费8万元
下一条：973重大项目“数学机械化及其自动推理平台”二级子课题， 2001-2003，经费19万元
