Automated Inequality Proving and Discovering
Latest Publications

TOTAL DOCUMENTS

13

(FIVE YEARS 0)

H-INDEX

0

(FIVE YEARS 0)

Published By WORLD SCIENTIFIC

9789814759113, 9789814759120

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Triangularization of Semi-Algebraic System

Automated Inequality Proving and Discovering ◽

10.1142/9789814759120_0003 ◽

2016 ◽

pp. 57-75

Keyword(s):

Algebraic System

Download Full-text

FRONT MATTER

Automated Inequality Proving and Discovering ◽

10.1142/9789814759120_fmatter ◽

2016 ◽

pp. i-xii

Download Full-text

Zero Decomposition of Polynomial System

Automated Inequality Proving and Discovering ◽

10.1142/9789814759120_0002 ◽

2016 ◽

pp. 25-56

Keyword(s):

Polynomial System

Download Full-text

Open Weak CAD

Automated Inequality Proving and Discovering ◽

10.1142/9789814759120_0007 ◽

2016 ◽

pp. 181-232

Download Full-text

BACK MATTER

Automated Inequality Proving and Discovering ◽

10.1142/9789814759120_bmatter ◽

2016 ◽

pp. 315-332

Download Full-text

Proving Inequalities Beyond the Tarski Model

Automated Inequality Proving and Discovering ◽

10.1142/9789814759120_0011 ◽

2016 ◽

pp. 297-314

Download Full-text

Real Root Counting

Automated Inequality Proving and Discovering ◽

10.1142/9789814759120_0004 ◽

2016 ◽

pp. 77-108

Keyword(s):

Real Root ◽

Root Counting

Download Full-text

Real Root Classification

Automated Inequality Proving and Discovering ◽

10.1142/9789814759120_0006 ◽

2016 ◽

pp. 133-179

Keyword(s):

Real Root

Download Full-text

SOS Decomposition

Automated Inequality Proving and Discovering ◽

10.1142/9789814759120_0009 ◽

2016 ◽

pp. 251-270

Download Full-text

Successive Difference Substitution

Automated Inequality Proving and Discovering ◽

10.1142/9789814759120_0010 ◽

2016 ◽

pp. 271-295

Download Full-text