自动发现不等式型定理的一个完备算法

利用多项式的判别式序列、WR算法、吴消元法及部分的柱形代数分解算法 ,给出了能自动发现不等式的一个实用算法 .该算法无须事先对结果做任何形式的猜测 ,而能全自动地发现新不等式 .该算法对一大类不等式型定理是完备的 ,而且可用于几何约束问题的实解分类 .在Maple下 。