Combining RFD with SDS,the program can automatically prove an extensive class of geometric inequalities involving radicals.

• 将RFD算法和差分代换方法相结合,给出了一大类具有相当难度的几何不等式的机器证明。