Machine proofs in geometry : automated production of readable proofs for geometry theorems

This volume comprises a collection of twenty written versions of invited as well as contributed papers presented at the conference held from 20-24 May 1996 in Beijing, China. It covers many areas of logic and the foundations of mathematics, as well as computer science. Also included is an article by M. Yasugi on the Asian Logic Conference which first appeared in Japanese, to provide a glimpse into the history and development of the series Pt. I. The Theory of Machine Proof. 1. Geometry Preliminaries. 2. The Area Method. 3. Machine Proof in Plane Geometry. 4. Machine Proof in Solid Geometry. 5. Vectors and Machine Proofs -- Pt. II. Topics From Geometry: A Collection of 400 Mechanically Proved Theorems. 6. Topics From Geometry