On the algebraic formulation of certain geometry statements and mechanical geometry theorem proving-Reference-Cited by-同舟云学术

On the algebraic formulation of certain geometry statements and mechanical geometry theorem proving

Published:1989-06 Issue:1-4 Volume:4 Page:237-262
ISSN:0178-4617
Container-title:Algorithmica
language:en
Short-container-title:Algorithmica

Author:

Chou Shang -Ching,Yang Jin -Gen

Publisher

Springer Science and Business Media LLC

Subject

Applied Mathematics,Computer Science Applications,General Computer Science

Link

http://link.springer.com/content/pdf/10.1007/BF01553889.pdf

Reference29 articles.

1. K. B. Taylor, Three Circles with Collinear Centers,American Mathematical Monthly,90 (1983), 486–487.

2. E. Artin,Geometric Algebra, Interscience, New York, 1957.

3. F. Bachmann and K. Reidemeister, Die Metrishe Form in der Absoluten und der Elliptischen Geometrie,Mathematische Annalen,29 (1937), 748–765.

4. S. C. Chou, Proving Elementary Geometry Theorems Using Wu's Algorithm, inAutomated Theorem Proving: After 25 years, Ed. by W. W. Bledsoe and D. Loveland, AMS Contemporary Mathematics Series, Vol. 29, American Mathematical Society, Providence, RI, 1984, pp. 243–286.

5. S. C. Chou, Proving and Discovering Theorems in Elementary Geometries Using Wu's Method, Ph.D. Thesis, Department of Mathematics, University of Texas at Austin, 1985.

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Automated Reasoning in Geometry;Handbook of Automated Reasoning;2001

2. References;Mathematics Mechanization and Applications;2000

3. A Survey of Geometric Reasoning Using Algebraic Methods;Learning and Geometry: Computational Approaches;1996

4. Geometry machines: From AI to SMC;Artificial Intelligence and Symbolic Mathematical Computation;1996

5. Elimination procedures for mechanical theorem proving in geometry;Annals of Mathematics and Artificial Intelligence;1995-03