共形几何代数与几何不变量的代数运算 2005 李洪波.pdfVIP

第18卷第7期 计算机辅助设计与图形学学报 v01．18，No．7 OFCoMPUTER—AIDED GRAPHICS 2006年7月 JOURNAL DESIGNCoMPUTERJuly，2006 共形几何代数与几何不变量的代数运算 李洪波 (中国科学院数学机械化重点实验室北京100080) (mi@mnlrc．iss．ae．on) 摘要几何不变量的使用是计算机视觉和图形学的一个重要手段．发现一个不变量后，如何找到它与其他不变量 的关系，是实际应用中的一个重要问题，这种关系的探讨主要依靠在不变量层次上的代数运算．文中介绍了共形几 何代数中的基本、高级和有理不变量如何在几何问题中自然出现，它们之间如何进行代数运算，以及如何通过不变 量的化简，自然地得到几何条件的充分必要化和几何定理的完全化．几何定理的机器证明作为几何定理完全化的副 产品，被发展成几何定理的关系定量化，这种量化的几何还原就是几何定理的自然推广．几何不变量之间的几何关 系的计算是这些技术的一个具体应用． 关键词共形几何代数；零括号代数；几何不变量；几何计算；几何还原 中图法分类号0151．24；TP301．6 ofGeometricInvariants AlgebraicManipulations Li Hongbo MathematicsMechanization (KeyLaboratoryof AMSS，ChineseAcademyofSciences，BeOing100080) AbstractGeometricinvarianceisan in visionand anew approach important computer graphics．When invariantisfound，an istofind with importantproblem geometric basicinvariants．Theofthis is basedon meaning)with discoveryrelationshipmainly algebraic ofinvariants． Weshowhowthe andrationalinvariantsinconformal basic，advanced geometric in are howtoobtainthesufficient naturallygeometricproblems，howthey manipulatedalgebraically，and and conditionsandthe formof theoremsmeansofinvariants necessary completegeometricby Automatedtheorem a ofthe of further theorems，is geometricproving，asbyproductcompletiongeometric intoautomated of relations．Theofthe dev