Solving Polynomial Inequalities using Cylindrical Algebraic Decomposition and Gröbner Bases

 

Qifa Lu

 chiefly@hpc.cs.ehime-u.ac.jp

     Matu-Tarow Noda

 noda@cs.ehime-u.ac.jp

Dept. of Computer Science

Ehime University, Matsuyama

790-8577 Japan

 

Abstract

We discuss how to solve polynomial inequalities with constraint equalities using Cylindrical Algebraic Decomposition (CAD) and Gröbner Bases.  Some techniques on CAD implementation are shown and realized in Risa/Asir.