SymProve3公司 参考第2条[sw09242] 对称形式及其程序代数的不平等决定。机械不等式证明已经。。。一类特殊形式的对称不等式分解降阶法。如果所有系数。。。通过以下工具证明圆柱形的 代数的 分解比如QEPCAD和BOTTEMA。。。