秩序图相关论文
以不等式自动发现与判定程序agl2012为工具,对求解一个给定数据集秩序图的算法和步骤进行了讨论,并编写了应用程序,部分解答了《三......
以专题的形式,讨论模型思想发现不等式的新例子,用锐角三角形代换法证明代数不等式以及秩序图算法的改进和优化;给出若干不等式新......
