论文部分内容阅读
不等式的自动推理一直是自动推理领域的一大难题,该文在多项式完全判别系统、柱形代数分解算法及降维算法等理论的基础上提出了用于不等式自动推理的一般算法,并就一类不等式的可读证明作了比较详细的阐述.据此编制的通用程序AGMI不仅能够用于一般不等式的自动推理,而且能够发现使不等式成立的最佳常数.作为应用,AGMI能求解极值问题、几何规划及几何约束问题.