10.3969/j.issn.1008-0171.2009.05.008
锐角三角形几何不等式的差分代换证法及应用程序
对用差分代换方法 研究三角形不等式进行了新的探讨;给出了锐角三角形几何不等式的一种判定算法和Maple应用程序agl;指出agl程序在验证和发现一类根式型三角形不等式方面,性能优于Bottema软件;讨论了三角形不等式的有理化方法 ;提出了待解决的问题.
差分代换、三角形几何不等式、机器证明
27
O122.3(初等数学)
2009-12-28（万方平台首次上网日期，不代表论文的发表时间）
共6页
33-38
