Title :
Mechanical algorithm for proving a geometric theorem
Author_Institution :
Sch. of Comput. & Inf. Eng., Shanghai Univ. of Electr. Power, Shanghai, China
Abstract :
We present a mechanical algorithm for proving a geometric theorem involving inequality. The main idea is to convert the geometric theorem into a polynomial problem and then use polynomial solver to resolve it. We first eliminate quantifier of prenex formula via software package QEPCAD, and prove the inequality based on the extreme value theory.
Keywords :
computational geometry; polynomials; QEPCAD software package; extreme value theory; geometric theorem; mechanical algorithm; polynomial problem; polynomial solver; prenex formula; Bismuth; Computational geometry; Equations; Polynomials; Power engineering and energy; Power engineering computing; Software packages;
Conference_Titel :
Computer Engineering and Technology (ICCET), 2010 2nd International Conference on
Conference_Location :
Chengdu
Print_ISBN :
978-1-4244-6347-3
DOI :
10.1109/ICCET.2010.5485587
