Click:
The Founding Time:..
The Last Update Time:..
973重大项目“数学机械化及其自动推理平台”二级子课题， 2001-2003，经费19万元
教育部博士点基金，5万，2002—2004
