agl2010程序相关论文
讨了用随机数验证程序进行多项式非负分拆的方法，得到了6种算法，并编写了应用程序agl2010_lsos，从而实现了一类半正定多项式的分拆证......
讨论了用不等式自动发现与判定程序agl2010发现n元不等式的方法和技巧；总结出发现”元不等式的“推广三步骤”方法，并对3元不等式的n......
提出了两个不等式通用模型,以这两个模型为基础设计了若干不等式自动发现命令,从而进一步完善了不等式自动发现与判定程序agl2010......
通过引入全局变量，使不等式自动发现过程中数据表达式的构造简洁而方便；通过角代换，解决了锐角三角形不等式的验证问题；通过正数域等价......
讨论了用agl2010程序自动发现涉及两个三角形不等式的策略和方法;给出一个通用的不等式发现新模型,以这个模型为算法基础,得到了若......
对不等式自动发现与判定程序agl2010的功能进行了若干改进．通过15个具体实例演示了程序的强大功能；利用agl算法得到了一类三角形几何......
