Thomson问题的机械化算法研究

工具

查询更多基金项目 | 智能选刊推荐

该负责人其他项目

• 若干离散几何问题及反问题的机器证明与可解释性研究（国自然，冷拓，2020）

上海大学其他项目

• 教育焦虑下的父母信念偏差：基于动机性视角的识别、机制与治理（国自然，杨雯渊，2026）
• 数字平台内多边竞合对新创企业国际化成长的影响机制研究（国自然，刘一蕙，2026）
• 风险投资对科创企业均衡成长的影响机制研究：基于二元匹配视角（国自然，卢青云，2026）
• 利益相关者视角下旅游企业数字责任的可持续价值创造机制研究（国自然，吴栋栋，2026）
• 平台零工工作者数字尊严的双元结构及其影响机制研究（国自然，周琼瑶，2026）
• 面向低碳航运的新能源船舶运营决策与补给设施协同优化研究（国自然，张霜露，2026）
• 基于eVTOL的载人接力运输运营优化模型与算法研究（国自然，赫雪婷，2026）
• 信息不对称下应急物资政企联合储备鲁棒决策优化与机制设计研究（国自然，孙华丽，2026）

机器证明学科其他项目

• 高维可积模型及特殊解的机械化算法研究（国自然，徐桂琼，2018）
• 点几何及其机器证明（国自然，邹宇，2017）
• 基于微分特征列集和Groebner基的偏微分方程的对称机械化算法（国自然，苏道毕力格，2016）
• 稀疏微分结式理论及其在偏微分方程相关问题中的应用（国自然，张智勇，2016）
• 基于特征列集及对称方法的求解偏微分方程问题机械化算法（国自然，特木尔朝鲁，2015）
• 基于格值逻辑的语言真值α-群锁语义归结自动推理研究（国自然，钟小梅，2015）
• 基于吴(文俊)方法的实代数几何中符号计算（国自然，肖水晶，2015）
• 三维Clifford代数无基底刻画的完全性及其多项式标准型的完全分类（国自然，李阁，2015）

相关期刊推荐

该学科领域可投稿的高影响期刊：

• ACM Transactions on Human-Robot Interaction（IF 7.000，JCR Q1）
• Robotics（IF 3.600，JCR Q2）