A Class of Geometry Statements of Constructive Type and Geometry Theorem Proving

Abstract

Abstract. This paper presents a method to generate non-degenerate condi-tions in geometric form for a class of geometry statements of constructive type, called Class C. We prove a mathematical theorem that in the irreducible case, the non-degenerate conditions generated by our method are sufficient for a ge-ometry statement in Class C to be valid in metric geometry. About 400 among 600 theorems proved by our computer program are in Class C.