一类根式不等式的有理化算法与机器证明

摘要：

文中讨论了一类根式不等式的有理等价问题.证明了这类根式不等式可等价转化为一组有理不等式.建立了一个算法RFD,并用Maple编程实现.对一个给定的这类根式不等式,RFD可自动快速地产生一组有理等价不等式.将RFD算法和差分代换方法相结合,给出了一大类具有相当难度的几何不等式的机器证明.此前该课题仅有的工作是杨路关于二次根式的结果.

关键词：根式不等式、有理化、不等式机器证明、差分代换

所属期刊栏目：31

分类号：TP301(计算技术、计算机技术)

资助基金：国家重点基础研究发展计划973计划2004CB318003;中国科学院知识创新工程项目KJCX-YW-S02

在线出版日期：2008-05-15（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：24-31