| 项目负责人 | 肖水晶 |
| 依托单位 | 南昌大学 |
| 立项年份 | 2015 |
| 学科分类 | 机器证明 |
| 资助来源 | 国家自然科学基金 |
| 项目状态 | 已立项 |
| 资助金额 | ¥35.0万 |
| 批准号 | 11561046 |
工具
该负责人其他项目
- 构件具有屈服后强化性能的新型FRP-RC框架结构研究（国自然，肖水晶，2022）
- 非标准方法在符号计算中的应用（国自然，肖水晶，2021）
南昌大学其他项目
- 企业数据安全治理与资本市场参与者决策研究（国自然，严泽浩，2026）
- 考虑工人认知状态的人机协同柔性作业车间调度决策方法研究（国自然，王秋莲，2026）
- 基于高管多模态特质的科创企业违约风险生成机理与动态预警研究（国自然，邢凯，2026）
- 面向资源多代循环系统的锂电池碳足迹测算调控技术及应用（国自然，田西，2026）
- 数字内容平台横向竞合与纵向协调策略研究（国自然，李志鹏，2026）
- 基于风险动态传染的保险公司最优再保险与投资策略研究（国自然，胡杜妮，2026）
- 脂肪间充质干细胞源性外泌体携带的miR-298靶向CCND1改善心脏血管内皮细胞辐射损伤的作用及机制研究（国自然，黄龙，2025）
- UCHL1/HECW2协同介导的KLF5泛素化修饰调控肺癌中脂肪酸合成的功能和机制研究（国自然，黄鸿翔，2025）
机器证明学科其他项目
- 高维可积模型及特殊解的机械化算法研究（国自然，徐桂琼，2018）
- 点几何及其机器证明（国自然，邹宇，2017）
- 基于微分特征列集和Groebner基的偏微分方程的对称机械化算法（国自然，苏道毕力格，2016）
- 稀疏微分结式理论及其在偏微分方程相关问题中的应用（国自然，张智勇，2016）
- 基于特征列集及对称方法的求解偏微分方程问题机械化算法（国自然，特木尔朝鲁，2015）
- 基于格值逻辑的语言真值α-群锁语义归结自动推理研究（国自然，钟小梅，2015）
- Thomson问题的机械化算法研究（国自然，冷拓，2015）
- 三维Clifford代数无基底刻画的完全性及其多项式标准型的完全分类（国自然，李阁，2015）
相关期刊推荐
该学科领域可投稿的高影响期刊：
- ACM Transactions on Human-Robot Interaction（IF 7.000，JCR Q1）
- Robotics（IF 3.600，JCR Q2）