Vectorial equations solving for mechanical geometry theorem proving

被引：8

作者：

Li H. ^{[1
]}

机构：

[1] MMRC, Institute of Systems Science, Academia Sinica

来源：

Journal of Automated Reasoning | 2000年 / 25卷 / 02期

基金：

美国国家科学基金会;

关键词：

★ This paper is supported partially by the NSF of China. ★★ It means that one can choose any order among the ai; bj; ck as long as they precede x;

D O I：

10.1023/A:1006182023017

中图分类号：

学科分类号：

摘要：

In this paper a new method is proposed for mechanical geometry theorem proving. It combines vectorial equations solving in Clifford algebra formalism with Wu's method. The proofs produced have significantly enhanced geometric meaning and fewer nongeometric nondegeneracy conditions.

引用

页码：83 / 121

页数：38

共 34 条

[1]

Chen W.H., Preliminaries of Differential Geometry, (1990)

[2]

Chou S.C., Mechanical Geometry Theorem Proving, (1988)

[3]

Chou S.C., Gao X.S., Zhang J.Z., Machine Proofs in Geometry, (1994)

[4]

Chou S.C., Gao X.S., Yang L., Zhang J.Z., Automated Production of Readable Proofs for Theorems in Non-Eudidean Geometries, pp. 171-188, (1997)

[5]

Chou S.C., Gao X.S., Zhang J.Z., Mechanical geometry theorem proving by vector calculation, Proc. ISSAC93, pp. 284-291, (1993)

[6]

Corrochano E.B., Lasenby J., Object modeling and motion analysis using Clifford algebra, Proc. Europe-China Workshop on Geometric Modeling and Invariants for Computer Visions, pp. 143-149, (1995)

[7]

Corrochano E.B., Buchholz S., Sommer G., Self-organizing Clifford neural network, IEEE ICNN'96, pp. 120-125, (1996)

[8]

Crumeyrolle A., Orthogonal and Symplectic Clifford Algebras, (1990)

[9]

Delanghe R., Sommen F., Soucek V., Clifford Algebra and Spinor-valued Functions, (1992)

[10]

Doran C., Hestenes D., Sommen F., Acker N.V., Lie groups as spin groups, J. Math. Phys., 34, 8, pp. 3642-3669, (1993)

← 1 2 3 4 →