四维Minkowski空间上零括号代数的复括号和复差分表示  

作　　者：黄雷[1] 李洪波[1] 

机构地区：[1]中国科学院数学机械化重点实验室,北京100080

出　　处：《中国科学（A辑）》2008年第7期750-760,共11页Science in China(Series A)

基　　金：国家重点基础研究发展规划资助项目(批准号:2004CB318001)

摘　　要：提出了四维Minkowski空间上零括号代数的复括号和复差分(BCD)括号,将长括号的相等判定问题由指数复杂度改进为多项式复杂度.BCD括号也可以直接用于长括号多项式的计算.

关 键 词：共形几何代数 零括号代数 几何不变量 机器证明 标准型 

分 类 号：O186.13[理学—数学]