| 项目负责人 | 苏道毕力格 |
| 依托单位 | 内蒙古工业大学 |
| 立项年份 | 2016 |
| 学科分类 | 机器证明 |
| 资助来源 | 国家自然科学基金 |
| 项目状态 | 已立项 |
| 资助金额 | ¥38.0万 |
| 批准号 | 11661060 |
工具
该负责人其他项目
- 双线性神经网络方法和非线性波的研究（国自然，苏道毕力格，2020）
内蒙古工业大学其他项目
- 信任偏差下操作员应急接管智能系统的风险评估研究（国自然，呼伦呼，2025）
- D-A型共轭微孔聚合物的键接方式调控及其光辅助自充电储锌机理研究（国自然，孙兴伟，2025）
- 毫米波太阳射电消零相干辐射计相关技术研究（国自然，尚自乾，2025）
- 严寒地区粉煤灰/纤维素基透明气凝胶复合玻璃的构筑与保温增效机制（国自然，尹立强，2025）
- 数据驱动下Nano-TiO2沥青路面材料多尺度界面行为表征与疲劳寿命预测（国自然，崔亚楠，2025）
- 金属碲化物/MXene超结构体系中双重内建电场构建及其储钾机理研究（国自然，张业龙，2025）
- 星地多平台InSAR误差时空传递建模与近实时三维形变估计（国自然，张乐乐，2025）
- 高频时空谐波耦合作用下高速实心转子感应电机铁耗精细化分析与系统能效优化理论研究（国自然，张冬冬，2025）
机器证明学科其他项目
- 高维可积模型及特殊解的机械化算法研究（国自然，徐桂琼，2018）
- 点几何及其机器证明（国自然，邹宇，2017）
- 稀疏微分结式理论及其在偏微分方程相关问题中的应用（国自然，张智勇，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）