| 项目负责人 | 袁春明 |
| 依托单位 | 中国科学院数学与系统科学研究院 |
| 立项年份 | 2011 |
| 学科分类 | 机器证明 |
| 资助来源 | 国家自然科学基金 |
| 项目状态 | 已立项 |
| 资助金额 | ¥22.0万 |
| 批准号 | 11101411 |
工具
该负责人其他项目
- 生境片断化对濒危植物景东翅子树繁殖与种群动态的影响（国自然，袁春明，2017）
- 亚洲计算机数学会议（国自然，袁春明，2012）
- 亚热带常绿阔叶林木质藤本对森林片断化的响应及其机制（国自然，袁春明，2011）
中国科学院数学与系统科学研究院其他项目
- NonlinearLandauDampingfortheVlasov–PoissonSystem（国自然，QuocHungNguyen，2025）
- 具有状态与输入时滞的非线性随机系统的PID控制研究（国自然，万方哲，2025）
- 《数学译林》（国自然，付保华，2025）
- 矩阵代数簇上的符号计算（国自然，叶科，2025）
- 高安全性新型S-盒的构造及其编码应用研究（国自然，吴亚男，2025）
- 电子结构计算中的非线性迭代（国自然，周爱辉，2025）
- 非平稳大数据的计量经济学模型：经济预测和政策评估（国自然，奚晋，2025）
- 带连续标记的竞争风险数据的几类半参数回归模型的统计推断（国自然，孙六全，2025）
机器证明学科其他项目
- 高维可积模型及特殊解的机械化算法研究（国自然，徐桂琼，2018）
- 点几何及其机器证明（国自然，邹宇，2017）
- 基于微分特征列集和Groebner基的偏微分方程的对称机械化算法（国自然，苏道毕力格，2016）
- 稀疏微分结式理论及其在偏微分方程相关问题中的应用（国自然，张智勇，2016）
- 基于特征列集及对称方法的求解偏微分方程问题机械化算法（国自然，特木尔朝鲁，2015）
- 基于格值逻辑的语言真值α-群锁语义归结自动推理研究（国自然，钟小梅，2015）
- Thomson问题的机械化算法研究（国自然，冷拓，2015）
- 基于吴(文俊)方法的实代数几何中符号计算（国自然，肖水晶，2015）
相关期刊推荐
该学科领域可投稿的高影响期刊：
- ACM Transactions on Human-Robot Interaction（IF 7.000，JCR Q1）
- Robotics（IF 3.600，JCR Q2）