一类积分不等式的机器判定

• 作者: 杨路 袁如意 郁文生
• 来源期刊: 中国科学（信息科学）
• 关键词: 积分不等式 对称多项式不等式 Timofte降维法 差分代换 机器判定 不等式证明软件-BOTTEMA
• 年，卷（期）: 2011,（1）
• 所属期刊栏目: 系统科学、控制科学与工程
• 页码范围: 48-65
• 页数: 18页
• 语种: 中文

摘要

将一类积分不等式转化为Tarski模型外的齐次对称多项式不等式,该类齐次对称多项式的次数是给定的,变元个数可以是任意多个,并且多项式的系数是与变元个数相关的变系数.这些特点与杨路等人最近提出的几个公开问题密切相关,是比较有代表性的一类齐次对称多项式.然后利用Timofte关于对称多项式不等式判定的降维方法,结合不等式证明软件BOTTEMA及差分代换方法,给出对应的一类Tarski模型外的齐次对称多项式不等式的机器判定算法,从而实现原积分不等式的机器判定.当给定的积分不等式及齐次对称多项式不等式不成立时,可给出具体不成立的数值反例.应用例子表明问题的广泛性及算法的有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杨路	华东师范大学软件学院上海高可信计算重点实验室	17	225	7.0	15.0
3	郁文生	华东师范大学软件学院上海高可信计算重点实验室	13	52	4.0	6.0
9	袁如意	中国科学院自动化研究所综合信息系统研究中心	5	28	3.0	5.0