| 《计算机学报》文章摘要 全文下载 | |
| 文章题目 | 一类根式不等式的有理化算法与机器证明 |
| 作者 | 徐嘉 姚勇 |
| 作者单位 | (中国科学院成都计算机应用研究所 成都 610041) |
| 发表年份 | 2008 |
| 发表月份 | 1期(24—31) |
| 文章摘要 | 摘要 文中讨论了一类根式不等式的有理等价问题.证明了这类根式不等式可等价转化为一组有理不等式.建立了一个算法RFD,并用Maple编程实现.对一个给定的这类根式不等式,RFD可自动快速地产生一组有理等价不等式.将RFD算法和差分代换方法相结合,给出了一大类具有相当难度的几何不等式的机器证明.此前该课题仅有的工作是杨路关于二次根式的结果. 关键词：根式不等式；有理化；不等式机器证明；差分代换 |