DocumentCode
3511529
Title
Numerical Approach for Automatic Theorem Proving in Plane Geometry
Author
Siwen Guo
Author_Institution
Sch. of Comput. Sci. & Educ. Software, Guangzhou Univ., Guangzhou, China
fYear
2013
fDate
9-11 Sept. 2013
Firstpage
207
Lastpage
209
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Intelligent Networking and Collaborative Systems (INCoS), 2013 5th International Conference on
Conference_Location
Xi´an
Type
conf
DOI
10.1109/INCoS.2013.38
Filename
6630410
Link To Document