位置：立项数据库 > 立项详情页
几何定理机器证明的代数方法的等价性与完全性
  • 项目名称：几何定理机器证明的代数方法的等价性与完全性
  • 项目类别：面上项目
  • 批准号：11671388
  • 项目来源：国家自然科学基金
  • 研究期限：1900-01-01-1900-01-01
  • 项目负责人：李洪波
  • 依托单位：中国科学院数学与系统科学研究院
  • 批准年度：2016
李洪波的项目
经典和现代几何的自动推理和符号计算的高级不变量技术
期刊论文 10 会议论文 4
从共形几何代数到高级不变量理论
期刊论文 13 会议论文 3
基于几何代数符号计算的几何分解
期刊论文 24 会议论文 4 获奖 4 著作 2