Numerical Approach for Automatic Theorem Proving in Plane Geometry

Abstract

In this paper, we present a new numerical method which proves by computers a class of geometric inequalities in a real plane. The method use interval arithmetic and related techniques to constitute the computing procedures to verify the geometric inequalities. Some numerical examples of verification are illustrated and demonstrate the effectiveness of our method.