agl算法相关论文
对三角形几何不等式判定算法agl进行了改进和补充,并根据这种算法设计了agl程序的升级版agl2009,讨论了带约束条件差分代换在证明......
对不等式自动发现与判定程序agl2010的功能进行了若干改进．通过15个具体实例演示了程序的强大功能；利用agl算法得到了一类三角形几何......
