Complex brackets and balanced complex 1st-order difference polynomials in 4-dimensional Minkowski space  

作　　者：HUANG Lei LI HongBo 

机构地区：[1]Mathematics Mechanization Key Lab,AMSS,Chinese Academy of Sciences,Beijing 100080,China

出　　处：《Science China Mathematics》2008年第12期2137-2148,共12页中国科学：数学（英文版）

基　　金：supported by the National Key Basic Research Project of China (Grant No. 2004CB318001)

摘　　要：This paper investigates complex brackets and balanced complex 1st-order difference (BCD) polynomials. Then we propose an algorithm of O(n log n) complexity to check the equality of brackets. It substitutes exponential algorithms before. Also, BCD polynomials have some usages in geometric calculation.This paper investigates complex brackets and balanced complex 1st-order di?erence (BCD) polynomials. Then we propose an algorithm of O(n log n) complexity to check the equality of brackets. It substitutes exponential algorithms before. Also, BCD polynomials have some usages in geometric calculation.

关 键 词：conformal geometric algebra (CGA) null bracket algebra (NBA) geometric invariant mechanical proving normal forms 68T15 03B35 

分 类 号：O174.14[理学—数学]