Skip to Main Content
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.