|
|||||
|
|
Mechanical decision for a class of integral inequalities |
|
| Authors: | YANG Lu YU WenSheng YUAN RuYi |
| Affiliation: | [1]Shanghai Key Laboratory of Trustworthy Computing, Software Engineering Institute, East China Normal University, Shanghai 200062, China [2]The Key Laboratory of Complex Systems and Intelligence Science, Institute of Automation, Chinese Academy of Sciences, Beijing 100190, China [3]Laboratory for Automated Reasoning and Programming, Chengdu Institute of Computer Applications Chinese Academy of Sciences, Chengdu 610041, China |
| Abstract: | |
| Keywords: | integral inequality symmetric polynomial inequality Timofte＇s dimension-decreasing method successive difference substitution mechanical decision inequality-proving package BOTTEMA |
| 本文献已被 维普 等数据库收录！ | |