|
|||||
|
|
Complex brackets and balanced complex 1st-order difference polynomials in 4-dimensional Minkowski space |
|
| Authors: | HUANG Lei & LI HongBo Mathematics Mechanization Key Lab AMSS Chinese Academy of Sciences Beijing China |
| Institution: | (1) Mathematics Mechanization Key Lab, AMSS, Chinese Academy of Sciences, Beijing, 100080, China |
| Abstract: | 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 work was supported by the National Key Basic Research Project of China (Grant No. 2004CB318001) |
| Keywords: | conformal geometric algebra (CGA) null bracket algebra (NBA) geometric invariant mechanical proving normal forms |
| 本文献已被 CNKI SpringerLink 等数据库收录！ | |