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

• 作者: 姚勇 徐嘉
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 根式不等式 有理化 不等式机器证明 差分代换
• 年，卷（期）: 2008,（1）
• 所属期刊栏目: 研究论文
• 页码范围: 24-31
• 页数: 8页
• 分类号: TP301
• 字数: 5905字
• 语种: 中文
• DOI: 10.3321/j.issn:0254-4164.2008.01.003

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	徐嘉	中国科学院成都计算机应用研究所	7	27	3.0	5.0
2	姚勇	中国科学院成都计算机应用研究所	21	89	6.0	9.0