=ADD= =reftype= 14 =number= 99-31 =url= ftp://ftp.risc.uni-linz.ac.at/pub/techreports/1999/99-31.ps.gz =year= 1999 =month= 11 =author= Kutsia; Teimuraz + Schicho; Josef =title= Numerical Solving of Constraints of Multivariate Polynomial Strict Inequalities =abstract= We consider the problem of safe numerical solving of constraints in a form of disjunctions and/or conjunctions of multivariate polynomial strict inequalities with real coefficients. We use a modified bisection method and present an algorithm that computes a solution of the problem. =sponsor=