| Practical Automated Reasoning on Inequalities: Generic Programs for Inequality Proving and Discovering |
| |
| 作者姓名： | 杨路 |
| |
| 作者单位： | Institute for Educational Softwares，Guangzhou Normal University |
| |
| 摘 要： | １Ａｌｇｅｂｒａｉｃａｐｐｒｏａｃｈｅｓ：ａｃｈｉｅｖｅｍｅｎｔｓａｎｄｄｉｆｉｃｕｌｔｉｅｓＷｅｈａｖｅｒｅａｓｏｎｔｏｂｅｌｉｅｖｅｔｈａｔｃｏｍｐｕｔｅｒｗｉｌｐｌａｙａｍｕｃｈｍｏｒｅｉｍｐｏｒｔａｎｔｒｏｌｅｉｎｒｅａｓｏｎｉｎｇｓｃｉｅ...
|
Practical Automated Reasoning on Inequalities: Generic Programs for Inequality Proving and Discovering |
| |
| Authors: | Lu Yang |
| |
| Abstract: | |
| |
| Keywords: | left/right polynomial class CGR critical surface |
| 本文献已被 CNKI 等数据库收录！ |
