可构图几何定理向量法可读机器证明的完全性新算法

工具

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

该负责人其他项目

• 珠三角地区臭氧污染过程VOCs来源对温度变化的响应研究（国自然，邹宇，2025）
• 珠三角挥发性有机物的大气化学转化对臭氧生成潜势影响研究（国自然，邹宇，2019）
• CD38/催产素通路调控的室旁核-杏仁核神经环路在局麻药惊厥中的作用（国自然，邹宇，2019）
• 点几何及其机器证明（国自然，邹宇，2017）
• 鱼源产气肠杆菌QS信号分子（AHLs）的产生条件及其介导鲭鱼组胺累积的调控机制（国自然，邹宇，2013）
• 泡沫金属表面改性对催化氢分子离子束离解为氢原子离子束的研究（国自然，邹宇，2012）
• 双电子复合与直接辐射复合过程的相对论多通道理论研究（国自然，邹宇，1999）
• 用YACs构建肝癌细胞特异表达IL-2基因的研究（国自然，邹宇，1994）

广州大学其他项目

• 赋能全空间天线的多维集成滤波表面研究（国自然，袁航，2026）
• 超大规模可移动天线辅助通信系统的低开销传输理论和方法研究（国自然，黄子轩，2026）
• 基于海豚声呐感知机理的核磁共振测井信号解译方法研究（国自然，杨文彪，2026）
• 面向低空移动平台的多频段分布式智能超表面高效调控机制（国自然，张珍，2026）
• 生物系统共存约束下的低扰动分子通信机制探究与原型系统验证（国自然，陈绚，2026）
• 骨导传输下空间声重构与空间听觉感知特性研究（国自然，王杰，2026）
• 面向低空感知退化的推理置信度映射与端—云协同资源优化研究（国自然，刘颖，2026）
• 基于类脑脉冲神经网络的无人机高光谱图像跨域分类方法研究（国自然，唐浩劲，2026）

机器证明学科其他项目

• 高维可积模型及特殊解的机械化算法研究（国自然，徐桂琼，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）