摘要
对agl2012_lsos程序进行了若干改进,扩大了程序的功能和应用范围;得到了多项式SOS表示的算法和程序;对锐角三角形不等式实现了分拆证明;提供了用智能模拟研究多项式不等式的2个案例;讨论了相关的问题.
Several improved methods are proposed for the agl2012_lsos program and me functionalities and apphcation scopes of the agl2012-lsos are enhanced. The SOS representation algorithms and programs of polynomials are obtained. A proof of polynomial decomposition is given for acute triangle inequalities. Two case studies are shown for intelligent simulations in polynomial inequalities and related problems are discussed.
出处
《汕头大学学报（自然科学版）》
2013年第3期18-28,共11页
Journal of Shantou University：Natural Science Edition
关键词
半正定多项式
平方和分解
LPSOLVE程序
SOS表示
semi -positive -definite polynomial
decomposition of squared sums
LPSOLVE program
SOS representation
