---
title: "On Wu's Method for Proving Constructive Geometric Theorems"
authors:
  - "Dongming Wang"
doi: ""
url: "https://ijcai.org/proceedings/1989/67"
pdf: "https://ijcai.org/proceedings/1989/0067.pdf"
venue: "Proceedings of the Eleventh International Joint Conference on Artificial Intelligence"
year: 1989
pages: "419-423"
track: "Automated Deduction"
keywords:
---

# On Wu's Method for Proving Constructive Geometric Theorems

Dongming Wang

*Proceedings of the Eleventh International Joint Conference on Artificial Intelligence*, 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.