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.