不等式自动发现相关论文
以不等式自动发现与判定程序agl2010为工具,通过对已知不等式进行隔离研究,提出了研究三角形几何不等式的有向图表示方法,并绘制了......
本文以不等式的式商及标准数据为切入点,对磨光集进行了新的探索;编写了应用程序;给出了大量的实例及不等式自动发现新结果.......
讨论了用不等式自动发现与判定程序agl2010发现n元不等式的方法和技巧；总结出发现”元不等式的“推广三步骤”方法，并对3元不等式的n......
提出了两个不等式通用模型,以这两个模型为基础设计了若干不等式自动发现命令,从而进一步完善了不等式自动发现与判定程序agl2010......
对不等式自动发现与判定程序agl2012进行了新的完善和补充,拓展了部分功能;介绍了程序使用的一些技巧;给出了大量的自动发现实例.......
收集了不等式自动发现与判定程序agl2012的9个应用实例.这些实例展现了agl2012程序的强大功能,为研究应用提供现成的模板和参考.总......
以不等式自动发现与判定程序agl2012为工具,对求解一个给定数据集秩序图的算法和步骤进行了讨论,并编写了应用程序,部分解答了《三......
提出了自动发现不等式的思路、算法并编写了应用程序agl2010;通过大量的实例演示了agl2010程序丰富的指令集及使用方法,指出agl201......
通过引入全局变量，使不等式自动发现过程中数据表达式的构造简洁而方便；通过角代换，解决了锐角三角形不等式的验证问题；通过正数域等价......
讨论了用agl2010程序自动发现涉及两个三角形不等式的策略和方法;给出一个通用的不等式发现新模型,以这个模型为算法基础,得到了若......
对不等式自动发现与判定程序agl2010的功能进行了若干改进．通过15个具体实例演示了程序的强大功能；利用agl算法得到了一类三角形几何......
提出了磨光集的概念,并详述了计算磨光集的算法和程序;讨论了磨光集在发现不等式、三角形不等式分拆证明及在量级研究中的应用;给......
对圆内接四边形和双圆四边形不等式的自动发现进行了探讨,并编写了应用程序;讨论了圆内接四边形不等式与双圆四边形不等式的区别和......
借助于不等式自动发现与判定程序agl2012,通过引入附加表达式的方式,应用赫尔德不等式和柯西不等式证明了一类根式不等式,并编写了......
以专题的形式,讨论模型思想发现不等式的新例子,用锐角三角形代换法证明代数不等式以及秩序图算法的改进和优化;给出若干不等式新......
