Title :
Algorithm for proving radical inequalities
Author_Institution :
Dept. of Inf. Sci. & Technol., East China Univ. of Political Sci. & Law, Shanghai, China
Abstract :
In this paper, we present an algorithm to prove radical inequalities. The main idea of this algorithm is to utilize a numeric method as a filter. If it succeeds, then the algorithm will be more efficient. Otherwise, it falls back to the symbolic methods. We illustrate the efficiency of this algorithm by automatically proving a radical inequality.
Keywords :
geometry; geometric theorems; numeric method; radical inequalities; symbolic method; Filters; Information science; Mathematics; Testing; Geometric Theorem; Numeric Method; Radical Inequalities; Symbolic Method;
Conference_Titel :
Electronic Computer Technology (ICECT), 2010 International Conference on
Conference_Location :
Kuala Lumpur
Print_ISBN :
978-1-4244-7404-2
Electronic_ISBN :
978-1-4244-7406-6
DOI :
10.1109/ICECTECH.2010.5479988
