On Wu's Method for Proving Constructive Geometric Theorems
Proceedings of the Eleventh International Joint Conference on Artificial Intelligence. Automated Deduction. Pages 419-423.
Abstract
In 1977 Wu Wen-tsi.in discovered an efficient method for mechanical theorem proving. This method has been applied to prove and discover theorems in various kinds of geometries. Based on an extension of one of Wu's algorithmic procedures, the author implemented a prover CPS for proving so-called constructive geo metric theorems, as well as a general theorem prover PS . Using this prover we proved more than one hundred non-trivial theorems and discovered also a number of interesting ones. This paper is a summarization of our ea rly work, as a abbreviation of the chapter 2 from my C hinese doctoral dissertation.
@inproceedings{ijcai1989p67,
title = {On Wu's Method for Proving Constructive Geometric Theorems},
author = {Wang, Dongming},
booktitle = {Proceedings of the Eleventh International Joint Conference on
Artificial Intelligence, {IJCAI-89}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {N. S. Sridharan},
pages = {419--423},
year = {1989},
month = {8},
note = {Automated Deduction},
url = {https://ijcai.org/proceedings/1989/67},
}
TY - CPAPER TI - On Wu's Method for Proving Constructive Geometric Theorems AU - Wang, Dongming T2 - Proceedings of the Eleventh International Joint Conference on Artificial Intelligence, IJCAI-89 PB - International Joint Conferences on Artificial Intelligence PY - 1989 SP - 419 EP - 423 UR - https://ijcai.org/proceedings/1989/67 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
