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

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

导出

摘要 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.

作者 HUANG Lei LI HongBo

机构地区 Mathematics Mechanization Key Lab

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

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

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

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

引文网络
相关文献

参考文献9

1Wu W T.Mathematics Mechanization. . 2000
2Li H.Automated theorem proving in the homogeneous model with Clifford bracket algebra. Applications of Geometric Algebra in Computer Science and Engineering . 2002
3Li H.Invariant Algebras and Geometric Reasoning. . 2008
4Li H.A recipe for symbolic geometric computing: long geometric product, BREEFS and Clifford factor- ization. Proc. ISSAC 2007 . 2007
5Hildenbrand D,Fontijne D,Perwass C,Dorst L.Geometric algebra and its application to computer graphics. Eurographics 2004 . 2004
6Chou S C,Gao X S,Zhang J Z.Machine Proofs in Geometry:Automated Production of Readable Proofs for Geometry Theorems. . 1994
7Geometric Computing with Clifford Algebra. . 2001
8Sturmfels,B. Algorithms in invariant theory . 1993
9Lounesto P.Clifford algebras and spinors. London Mathematical Society Lecture Note Series . 1997

同被引文献4

1FEI Minggang QIAN Tao.Clifford algebra approach to pointwise convergence of Fourier series on spheres Dedicated to Professor Sheng GONG on the occasion of his 75th birthday[J].Science China Mathematics,2006,49(11):1553-1575. 被引量：3
2Xiang-Yu Kong,Yi-Qi Du,Lei Li,Xiao-Hua Man,Yan-Fang Gong,Li-Ning Xiao,Yong-Zhi Zheng,Shang-Xin Deng,Jun-Jun Gu,Zhao-Shen Li,Department of Gastroenterology,Changhai Hospital,Second Military Medical University,Shang-hai 200433,China Jian-Qiang Liu,Department of Gastroenterology,Fuzhou General Hospital of Nanjing Military Command,Fuzhou 350025,Fujian Province,China Guo-Kun Wang,Jia-Qi Zhu,Department of Cardiology,Changhai Hospital,Second Military Medical University,Shang-hai 200433,China.Plasma miR-216a as a potential marker of pancreatic injury in a rat model of acute pancreatitis[J].World Journal of Gastroenterology,2010,16(36):4599-4604. 被引量：19
3李岩山.基于Clifford代数的数字图像水印技术[J].电子学报,2008,36(5):852-855. 被引量：6
4XIE WeiXin CAO WenMing MENG Shan.Coverage analysis for sensor networks based on Clifford algebra[J].Science in China(Series F),2008,51(5):460-475. 被引量：4

引证文献1

1XU Chen,LIU Hui,CAO WenMing,FENG JiQiang.Multispectral image edge detection via Clifford gradient[J].Science China(Information Sciences),2012,55(2):260-269. 被引量：6

二级引证文献6

1刘辉,徐晨,曹文明.基于Clifford代数的多光谱图像边缘检测[J].东南大学学报（自然科学版）,2012,42(2):244-248. 被引量：2
2CAO WenMing,LIU Ning,KONG QiCong,FENG Hao.Content-based image retrieval using high-dimensional information geometry[J].Science China(Information Sciences),2014,57(7):199-209. 被引量：1
3何拥军,余爱民,曾文权.霍夫变换耦合蚁群优化图像边缘提取算法[J].包装工程,2017,38(5):205-210. 被引量：3
4黄凌霄,李春光,郑兰香,杨程.鸭子荡水库地形前处理及二维水流运动模拟[J].水利水电科技进展,2017,37(4):47-52. 被引量：3
5胡勇,赵航涛,罗文,于丹盈,袁林旺.基于几何代数的彩色图像相似度量与边缘提取[J].应用基础与工程科学学报,2016,24(3):640-648.
6杨涛,徐维昌,黄凌霄.基于图像处理的硬币图像识别与研究[J].中阿科技论坛（中英文）,2019,0(4):36-41. 被引量：1

1Yan Xia ZHAO,Deng Yin WANG,Dong Fang JIA.Maps Preserving Zero Lie Brackets on a Maximal Nilpotent Subalgebra of the Symplectic Algebra[J].Journal of Mathematical Research and Exposition,2011,31(5):829-839. 被引量：1
2M I Wanas,G G L Nashed,O A Ibrahim.Bianchi type I in f(T) gravitational theories[J].Chinese Physics B,2016,25(5):58-64.
3赵晓华,李继彬,黄克累.HOMOCLINIC　ORBITS　IN　PERTURBED　GENERALIZED　HAMILTONIAN　SYSTEMS[J].Acta Mathematica Scientia,1996,16(4):361-374. 被引量：1
4Yuan YUAN Hui Li LIU.Some New Translation Surfaces in 3-Minkowski Space[J].Journal of Mathematical Research and Exposition,2011,31(6):1123-1128. 被引量：1
5HE Yijie.Light-Like Extremal Surfaces in Minkowski Space R^1＋（1＋n）[J].Journal of Partial Differential Equations,2010,23(2):158-167.
6常玉.OSCILLATION OF CERTAIN nTH ORDER DIFFERENCE EQUATION[J].Annals of Differential Equations,2000,16(1):1-4.
7ZHANG Guo Qing,LIU San Yang.Existence Result for Discrete Problems with Dependence on the First Order Difference[J].Journal of Mathematical Research and Exposition,2009,29(5):839-847.
8梅凤翔.Poisson's theory of Birkhoffian system[J].Chinese Science Bulletin,1996,41(8):641-645. 被引量：7
9吴明忠,白承铭.Compatible Lie Bialgebras[J].Communications in Theoretical Physics,2015,63(6):653-664. 被引量：1
10Yan ZHANG School of Statistics and Mathematics , Zhejiang Gongshang University, Hangzhou 310018, China,Department of Physics, Zhejiang University, Hangzhou 310027, China.The Cauchy problem about Dirac-wave map from the 2-dimension Minkowski space to a complete Riemannian manifold[J].Science China Mathematics,2007,50(6):859-874.

Science China Mathematics

2008年第12期

浏览历史

内容加载中请稍等...

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

参考文献9

同被引文献4

引证文献1

二级引证文献6

相关作者

相关机构

相关主题

浏览历史