| 项目负责人 | 徐桂琼 |
| 依托单位 | 上海大学 |
| 立项年份 | 2018 |
| 学科分类 | 机器证明 |
| 资助来源 | 国家自然科学基金 |
| 项目状态 | 已立项 |
| 资助金额 | ¥50.0万 |
| 批准号 | 11871328 |
工具
该负责人其他项目
- 社交媒体失真信息识别与传播机理研究（国社科，徐桂琼，2023）
- 非线性系统可积性的若干机械化算法及应用研究（国自然，徐桂琼，2012）
- 非线性数学物理方程可积性的自动推导研究（国自然，徐桂琼，2005）
上海大学其他项目
- 教育焦虑下的父母信念偏差：基于动机性视角的识别、机制与治理（国自然，杨雯渊，2026）
- 数字平台内多边竞合对新创企业国际化成长的影响机制研究（国自然，刘一蕙，2026）
- 风险投资对科创企业均衡成长的影响机制研究：基于二元匹配视角（国自然，卢青云，2026）
- 利益相关者视角下旅游企业数字责任的可持续价值创造机制研究（国自然，吴栋栋，2026）
- 平台零工工作者数字尊严的双元结构及其影响机制研究（国自然，周琼瑶，2026）
- 面向低碳航运的新能源船舶运营决策与补给设施协同优化研究（国自然，张霜露，2026）
- 基于eVTOL的载人接力运输运营优化模型与算法研究（国自然，赫雪婷，2026）
- 信息不对称下应急物资政企联合储备鲁棒决策优化与机制设计研究（国自然，孙华丽，2026）
机器证明学科其他项目
- 点几何及其机器证明（国自然，邹宇，2017）
- 基于微分特征列集和Groebner基的偏微分方程的对称机械化算法（国自然，苏道毕力格，2016）
- 稀疏微分结式理论及其在偏微分方程相关问题中的应用（国自然，张智勇，2016）
- 基于特征列集及对称方法的求解偏微分方程问题机械化算法（国自然，特木尔朝鲁，2015）
- 基于格值逻辑的语言真值α-群锁语义归结自动推理研究（国自然，钟小梅，2015）
- Thomson问题的机械化算法研究（国自然，冷拓，2015）
- 基于吴(文俊)方法的实代数几何中符号计算（国自然，肖水晶，2015）
- 三维Clifford代数无基底刻画的完全性及其多项式标准型的完全分类（国自然，李阁，2015）
相关期刊推荐
该学科领域可投稿的高影响期刊：
- ACM Transactions on Human-Robot Interaction（IF 7.000，JCR Q1）
- Robotics（IF 3.600，JCR Q2）