SOS表示相关论文
讨论了两组变元齐次多项式的平方分拆算法,并编写了应用程序；给出了多项式SOS表示分拆项通用构造程序;对带约束条件多项式不等式的......
对agl2012_lsos程序进行了若干改进，扩大了程序的功能和应用范围；得到了多项式SOS表示的算法和程序；对锐角三角形不等式实现了分拆证......
