用不等式自动发现与判定程序agl2010研究涉及两个三角形的不等式
刘保乾
西藏自治区组织编制信息管理中心,西藏拉萨,850000
摘要：讨论了用agl2010程序自动发现涉及两个三角形不等式的策略和方法;给出一个通用的不等式发现新模型,以这个模型为算法基础,得到了若干自动发现涉及两个三角形不等式模块;将待定系数法引入到涉及两个三角形不等式研究中,实现了一大类不等式,尤其是特殊取等号条件不等式的自动发现;最后提出2个待解决的问题。
关键词：不等式自动发现agl2010程序涉及两个三角形的不等式机器证明
分类号：O122.3(初等数学)
论文发表日期：2012-01-01
在线出版日期：2025-08-15（本平台首次上网日期，不代表文献的发表时间）
页数：8( 11-17,21 )
英文信息