| 项目负责人 | 钟小梅 |
| 依托单位 | 西南交通大学 |
| 立项年份 | 2015 |
| 学科分类 | 机器证明 |
| 资助来源 | 国家自然科学基金 |
| 项目状态 | 已立项 |
| 资助金额 | ¥2.6万 |
| 批准号 | 11526171 |
工具
西南交通大学其他项目
- 原油冲击视角下金融市场波动率建模及预测研究：基于多模态数据与机器学习方法（国自然，鲁心洁，2025）
- 基于科学的创新对焦点企业链主地位形成的机制研究（国自然，陈轩瑾，2025）
- 基于手机信令的电单车出行与公共交通时空竞合机理及行为导控研究（国自然，陈蛟，2025）
- 城市轨道站影响区地上地下空间紧凑型设计减碳机制研究:以中心站为例（国自然，袁红，2025）
- 基于全局耦合与波长散射协同调控的超宽带多通道低相关混沌熵源研究（国自然，蒋林，2025）
- 产品-服务供应链中的制造商入侵、渠道结构和服务提供研究（国自然，罗华江，2025）
- 创业者-AI融合的形成及其对失败再创业决策的影响机制研究（国自然，王红锌，2025）
- 移动充电装备精准调度及其补能站选址协同优化研究（国自然，王思寒，2025）
机器证明学科其他项目
- 高维可积模型及特殊解的机械化算法研究（国自然，徐桂琼，2018）
- 点几何及其机器证明（国自然，邹宇，2017）
- 基于微分特征列集和Groebner基的偏微分方程的对称机械化算法（国自然，苏道毕力格，2016）
- 稀疏微分结式理论及其在偏微分方程相关问题中的应用（国自然，张智勇，2016）
- 基于特征列集及对称方法的求解偏微分方程问题机械化算法（国自然，特木尔朝鲁，2015）
- Thomson问题的机械化算法研究（国自然，冷拓，2015）
- 基于吴(文俊)方法的实代数几何中符号计算（国自然，肖水晶，2015）
- 三维Clifford代数无基底刻画的完全性及其多项式标准型的完全分类（国自然，李阁，2015）
相关期刊推荐
该学科领域可投稿的高影响期刊：
- ACM Transactions on Human-Robot Interaction（IF 7.000，JCR Q1）
- Robotics（IF 3.600，JCR Q2）