中国博士后科学基金（ A 类）（ 1995 ）；

 中国博士后科学基金（ B 类）（ 1995 ）；

 国家九五攀登计划（项目承担人， 1997 ） ；

国家自然科学基金（主研， 1997 ）；

 国家九七三重点基础规划项目（项目承担人,1998）；

 数学机械化方法推广应用专项经费(2003) ；

国家自然科学基金（负责人，2004 ）；

浙江省自然科学基金（负责人，2004 ）；

 国家九七三重点基础规划项目（项目承担人,2004 ）；

 华夏英才基金（2004）；

留学回国人员择优资助项目(2007)；

国家自然科学（天元会议）基金（负责人，2007） ；

九七三项目数学机械化及其在信息科学中的应用；

教育部博士点基金（2012）。