Practical Automated Reasoning on Inequalities: Generic Programs for Inequality Proving and Discovering

被引：0

作者：

杨路

机构：

来源：

关键词：

left/right polynomial; class CGR; critical surface;

D O I：

暂无

中图分类号：

O178 [不等式及其他];

学科分类号：

0701 ; 070101 ;

摘要：

１Ａｌｇｅｂｒａｉｃａｐｐｒｏａｃｈｅｓ：ａｃｈｉｅｖｅｍｅｎｔｓａｎｄｄｉｆｉｃｕｌｔｉｅｓＷｅｈａｖｅｒｅａｓｏｎｔｏｂｅｌｉｅｖｅｔｈａｔｃｏｍｐｕｔｅｒｗｉｌｐｌａｙａｍｕｃｈｍｏｒｅｉｍｐｏｒｔａｎｔｒｏｌｅｉｎｒｅａｓｏｎｉｎｇｓｃｉｅ...

引用

页码：16 / 25

页数：10