CASIA OpenIR

浏览/检索结果: 共1条,第1-1条 帮助

限定条件    
已选(0)清除 条数/页:   排序方式:
Mechanical decision for a class of integral inequalities 期刊论文
SCIENCE CHINA-INFORMATION SCIENCES, 2010, 卷号: 53, 期号: 9, 页码: 1800-1815
作者:  Yang Lu;  Yu WenSheng;  Yuan RuYi
收藏  |  浏览/下载:106/0  |  提交时间:2015/11/08
Integral Inequality  Symmetric Polynomial Inequality  Timofte's Dimension-decreasing Method  Successive Difference Substitution  Mechanical Decision  Inequality-proving Package Bottema