搜索筛选:
搜索耗时0.8237秒,为你在为你在102,285,761篇论文里面共找到 3 篇相符的论文内容
类      型:
[期刊论文] 作者:刘保乾, 来源:汕头大学学报:自然科学版 年份:2013
对agl2012_lsos程序进行了若干改进,扩大了程序的功能和应用范围;得到了多项式SOS表示的算法和程序;对锐角三角形不等式实现了分拆证明;提供了用智能模拟研究多项式不等式的2个案......
[期刊论文] 作者:刘保乾, 来源:广东第二师范学院学报 年份:2013
提出了两个不等式通用模型,以这两个模型为基础设计了若干不等式自动发现命令,从而进一步完善了不等式自动发现与判定程序agl2010的功能,得到应用程序xhhj;给出了大量类型丰...
[期刊论文] 作者:刘保乾, 来源:广东第二师范学院学报 年份:2013
讨论了两组变元齐次多项式的平方分拆算法,并编写了应用程序;给出了多项式SOS表示分拆项通用构造程序;对带约束条件多项式不等式的分拆证明进行了新探讨;众多例子表明算法和程...
相关搜索: