中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页 机构 成果 学者
  
  1. CAS IR Grid
  2. 自动化研究所
  3. 中国科学院自动化研究所
  4. 综合信息系统研究中心
Mechanical decision for a class of integral inequalities

文献类型：期刊论文

作者Yang Lu1,3; Yu WenSheng1,2; Yuan RuYi2
刊名SCIENCE CHINA-INFORMATION SCIENCES
出版日期2010-09-01
卷号53期号:9页码:1800-1815
关键词integral inequality symmetric polynomial inequality Timofte's dimension-decreasing method successive difference substitution mechanical decision inequality-proving package BOTTEMA
英文摘要A class of integral inequalities is transformed into homogeneous symmetric polynomial inequalities beyond Tarski model, where the number of elements of the polynomial, say n, is also a variable and the coefficients are functions of n. This is closely associated with some open problems formulated recently by Yang et al. Using Timofte's dimension-decreasing method for symmetric polynomial inequalities, combined with the inequality-proving package BOTTEMA and a program of implementing the method known as successive difference substitution, we provide a procedure for deciding the nonnegativity of the corresponding polynomial inequality such that the original integral inequality is mechanically decidable; otherwise, a counterexample will be given. The effectiveness of the algorithm is illustrated by some more examples.
WOS标题词Science & Technology ; Technology
类目[WOS]Computer Science, Information Systems
研究领域[WOS]Computer Science
关键词[WOS]CYLINDRICAL ALGEBRAIC DECOMPOSITION ; SYMMETRIC POLYNOMIAL FUNCTIONS ; POSITIVITY ; ALGORITHM
收录类别SCI
语种英语
WOS记录号WOS:000281150500009
公开日期2015-12-24
源URL[http://ir.ia.ac.cn/handle/173211/9944]  
专题自动化研究所_综合信息系统研究中心
作者单位1.E China Normal Univ, Shanghai Key Lab Trustworthy Comp, Inst Software Engn, Shanghai 200062, Peoples R China
2.Chinese Acad Sci, Key Lab Complex Syst & Intelligence Sci, Inst Automat, Beijing 100190, Peoples R China
3.Chinese Acad Sci, Lab Automated Reasoning & Programming, Chengdu Inst Comp Applicat, Chengdu 610041, Peoples R China
推荐引用方式
GB/T 7714		 Yang Lu,Yu WenSheng,Yuan RuYi. Mechanical decision for a class of integral inequalities[J]. SCIENCE CHINA-INFORMATION SCIENCES,2010,53(9):1800-1815.
APA Yang Lu,Yu WenSheng,&Yuan RuYi.(2010).Mechanical decision for a class of integral inequalities.SCIENCE CHINA-INFORMATION SCIENCES,53(9),1800-1815.
MLA Yang Lu,et al."Mechanical decision for a class of integral inequalities".SCIENCE CHINA-INFORMATION SCIENCES 53.9(2010):1800-1815.

入库方式： OAI收割

来源：自动化研究所

浏览0
下载0
收藏0
其他版本

除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。