| 项目负责人 | 雷娜 |
| 依托单位 | 吉林大学 |
| 立项年份 | 2012 |
| 学科分类 | 机器证明 |
| 资助来源 | 国家自然科学基金 |
| 项目状态 | 已立项 |
| 资助金额 | ¥50.0万 |
| 批准号 | 11271156 |
工具
该负责人其他项目
- 基于亚铁磁斯格明子的全电学产生、移动动力学及探测研究（国自然，雷娜，2020）
- 基于声表面波驱动的磁斯格明子动力学实验研究（国自然，雷娜，2020）
- 几何观点下的深度学习可解释性的关键理论与模型构建（国自然，雷娜，2019）
- 三维曲面注册的几何方法（国自然，雷娜，2017）
- 矢量应变控制磁矩180度翻转的实验研究（国自然，雷娜，2015）
- 借助构造性代数几何研究多元有理插值的理论与算法（国自然，雷娜，2006）
吉林大学其他项目
- 基于拓扑化学单晶到单晶聚合的有机晶体机械性能调控研究（国自然，齐健群，2025）
- 仿生表面液滴弹跳主动声学调控（国自然，马志超，2025）
- 高陡岩质斜坡结构面多源快速识别与复杂结构岩体灾变研究（国自然，韩佳利，2025）
- 基于量子传感技术探索高压下镍基材料的超导电性（国自然，郭鉴宁，2025）
- 新型三维介孔共价有机框架材料的设计合成（国自然，郑浩瑞，2025）
- “糖酵解-组蛋白乳酸化轴”驱动酮病奶牛肝脏巨噬细胞促炎转变的分子机制（国自然，赵晨晨，2025）
- 地下水污染羽的演变规律及其影响机制研究（国自然，赵勇胜，2025）
- 大肠杆菌合成乳酰-N-四糖的碳流调控机制研究（国自然，胡苗苗，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）