搜索筛选:
搜索耗时0.7257秒,为你在为你在102,285,761篇论文里面共找到 5 篇相符的论文内容
发布年度:
[期刊论文] 作者：刘保乾,,
来源：汕头大学学报(自然科学版) 年份：2012
对圆内接四边形和双圆四边形不等式的自动发现进行了探讨,并编写了应用程序;讨论了圆内接四边形不等式与双圆四边形不等式的区别和联系;初步探讨了圆内接四边形不等式的证明...
[期刊论文] 作者：刘保乾,
来源：汕头大学学报：自然科学版 年份：2012
对不等式自动发现与判定程序agl2010的功能进行了若干改进．通过15个具体实例演示了程序的强大功能；利用agl算法得到了一类三角形几何不等式最佳系数的估算方法：结合Bottema软件...
[期刊论文] 作者：刘保乾,
来源：佛山科学技术学院学报：自然科学版 年份：2012
讨论了用agl2010程序自动发现涉及两个三角形不等式的策略和方法;给出一个通用的不等式发现新模型,以这个模型为算法基础,得到了若干自动发现涉及两个三角形不等式模块;将待...
[期刊论文] 作者：刘保乾,
来源：广东第二师范学院学报 年份：2012
讨论了用不等式自动发现与判定程序agl2010发现n元不等式的方法和技巧；总结出发现”元不等式的“推广三步骤”方法，并对3元不等式的n元推广实现了自动发现；提出了智能模拟的概念......
[期刊论文] 作者：刘保乾,
来源：肇庆学院学报 年份：2012
提出用正切代换方法证明三角形几何不等式和圆内接四边形不等式；给出了代换公式，诸多实例表明该方法是有效的；同时，针对正切代抉方法，提出了2个待解决的问题．...
相关搜索：
