IEEE - Institute of Electrical and Electronics Engineers, Inc. - Automated production of traditional proofs for constructive geometry theorems

Proceedings of 8th Annual IEEE Symposium on Logic in Computer Science

Author(s): Chou, S.-C. ; Gao, X.-S. ; Zhang, J.-Z.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1993
Conference Location: Montreal, Que., Canada
Conference Date: 19 June 1993
Page(s): 48 - 56
ISBN (Paper): 0-8186-3140-6
DOI: 10.1109/LICS.1993.287601
Regular:

The authors present a method that can produce traditional proofs for a class of geometry statements whose hypotheses can be described constructively and whose conclusions can be represented by... View More

Advertisement