Title :
Numerical Approach for Automatic Theorem Proving in Plane Geometry
Author_Institution :
Sch. of Comput. Sci. & Educ. Software, Guangzhou Univ., Guangzhou, China
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.
Keywords :
computational geometry; formal verification; theorem proving; arithmetic techniques; automatic theorem proving; computing procedures; geometric inequality; interval arithmetic; numerical approach; plane geometry; Artificial intelligence; Collaboration; Automatic Theorem Proving; Interval Method; Plane Geometry;
Conference_Titel :
Intelligent Networking and Collaborative Systems (INCoS), 2013 5th International Conference on
Conference_Location :
Xi´an
DOI :
10.1109/INCoS.2013.38
