Automated generation of readable proofs with geometric invariants: II. Theorem proving with full-angles

Journal of Automated Reasoning

Volumn 17, Issue 3, 1996, Pages 349-370

  Chou, Shang Ching ^a   Gao, Xiao Shan ^a,b   Zhang, Jing Zhong ^a,c  

^a Wichita State University   (United States)

^b INSTITUTE OF SYSTEMS SCIENCE   (China)

^c CHENGDU INSTITUTE OF COMPUTER APPLICATIONS   (China)

Author keywords

Automated geometry theorem proving; Automated reasoning; Backward chaining; Forward chaining; Method based on angle

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTATIONAL GEOMETRY; COMPUTATIONAL METHODS; INVARIANCE;

AUTOMATED REASONING; GEOMETRIC INVARIANTS; READABLE PROOFS;

THEOREM PROVING;

EID: 0030384707     PISSN: 01687433     EISSN: None     Source Type: Journal    
DOI: 10.1007/BF00283134     Document Type: Article

References (10)

1. Bancilhon, F. and Ramakrishnan, R.: An Amateur's introduction to recursive query processing strategies, in C. Zanioilo (ed.), Proc. ACM SIGMOD Conf., 1986, pp. 16-52.
2. Chou, S. C., Gao, X. S., and Zhang, J. Z.: Machine Proofs in Geometry, World Scientific, 1994.
3. Chou, S. C., Gao, X. S., and Zhang, J. Z.: Automated generation of readable proofs with geometric invariants, I. Multiple and shortest proof generation, J. Automated Reasoning 17 (1996), 325-347 (this issue).
4. Chou, S. C., Gao, X. S., and Zhang, J. Z.: A Collection of 110 Geometry Theorems and Their Machine Proofs Based on Full-Angles, TR-94-4, CS Dept., WSU, Nov. 1994.
5. Coelho, H. and Pereira, L. M.: Automated reasoning in geometry theorem proving with Prolog, J. Automated Reasoning 2 (1986), 329-390.
6. Gerlentner, H., Hanson, J. R., and Loveland, D. W.: Empirical explorations of the geometry-theorem proving machine, in Proc. Est. Joint Computer Conf., 1960, pp. 143-147.
7. Gilmore, P. C.: An examination of the geometry theorem proving machine, Artificial Intelligence 1 (1988), 171-187.
8. Nevins, A. J.: Plane geometry theorem proving using forward chaining, Artificial Intelligence 6 (1977), 1-23.
9. Stickel, M.: A prolog technology theorem proven Implementation by an extended prolog compiler, J. Automated Reasoning 4(4) (1985), 353-380.
10. Wen-tsün, Wu: Basic Principles of Mechanical Theorem Proving in Geometries, Vol. I: Part of Elementary Geometries, Science Press, Beijing, 1984 [in Chinese].