Click:
The Founding Time:..
The Last Update Time:..
973重大项目“数学机械化及其在信息领域中的应用”子课题，负责人，180万，2004--2008
教育部博士点基金，5万，2006—2008
