10.3969/j.issn.1008-0171.2012.02.003
用不等式自动发现与判定程序agl2010研究涉及两个三角形的不等式
讨论了用agl2010程序自动发现涉及两个三角形不等式的策略和方法;给出一个通用的不等式发现新模型,以这个模型为算法基础,得到了若干自动发现涉及两个三角形不等式模块;将待定系数法引入到涉及两个三角形不等式研究中,实现了一大类不等式,尤其是特殊取等号条件不等式的自动发现;最后提出2个待解决的问题。
不等式自动发现、agl2010程序、涉及两个三角形的不等式、机器证明
30
O122.3(初等数学)
2012-07-20(万方平台首次上网日期,不代表论文的发表时间)
共8页
11-17,21