agl2012程序相关论文
本文以不等式的式商及标准数据为切入点,对磨光集进行了新的探索;编写了应用程序;给出了大量的实例及不等式自动发现新结果.......
讨论了两组变元齐次多项式的平方分拆算法,并编写了应用程序；给出了多项式SOS表示分拆项通用构造程序;对带约束条件多项式不等式的......
对不等式自动发现与判定程序agl2012进行了新的完善和补充,拓展了部分功能;介绍了程序使用的一些技巧;给出了大量的自动发现实例.......
给出构造分拆项集的一个新算法；实际例子表明，该算法对一些较高次数的多项式配平方和也是有效的．......
收集了不等式自动发现与判定程序agl2012的9个应用实例.这些实例展现了agl2012程序的强大功能,为研究应用提供现成的模板和参考.总......
根据智能模拟思想，设计了2个自动出题程序和3个多项式数据通用构造程序，这些程序不仅进一步完善了agl2012程序的功能（特别是教学辅助......
以不等式自动发现与判定程序agl2012为工具,对求解一个给定数据集秩序图的算法和步骤进行了讨论,并编写了应用程序,部分解答了《三......
提出了磨光集的概念,并详述了计算磨光集的算法和程序;讨论了磨光集在发现不等式、三角形不等式分拆证明及在量级研究中的应用;给......
借助于不等式自动发现与判定程序agl2012,通过引入附加表达式的方式,应用赫尔德不等式和柯西不等式证明了一类根式不等式,并编写了......
以专题的形式,讨论模型思想发现不等式的新例子,用锐角三角形代换法证明代数不等式以及秩序图算法的改进和优化;给出若干不等式新......
