您的位置： 专家智库 > >

黄雷

作品数：1 被引量：0H指数：0
供职机构：中国科学院数学与系统科学研究院数学机械化重点实验室更多>>
发文基金：国家重点基础研究发展计划更多>>
相关领域：理学更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇理学

主题

  • 1篇括号
  • 1篇机器证明
  • 1篇几何不变量
  • 1篇几何代数
  • 1篇共形几何代数
  • 1篇MINKOW...
  • 1篇不变量
  • 1篇差分

机构

  • 1篇中国科学院数...

作者

  • 1篇黄雷
  • 1篇李洪波

传媒

  • 1篇中国科学（A...

年份

  • 1篇2008
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
四维Minkowski空间上零括号代数的复括号和复差分表示
2008年
提出了四维Minkowski空间上零括号代数的复括号和复差分(BCD)括号,将长括号的相等判定问题由指数复杂度改进为多项式复杂度.BCD括号也可以直接用于长括号多项式的计算.
黄雷李洪波
关键词：共形几何代数几何不变量机器证明
全选 清除 导出
共1页<1>
聚类工具0