In this paper we present a new method for enclosing all the real roots in a bounded box of a system of n elementary-algebraic equations depending on n variables. This system is denoted by h(x)=P(x,f1(x1),...,fk(x1),f1(x2),...,fk(xn)), where x=(x1,x2,...,xn) ∈ Rn, P is a system of polynomials depending on n+kn variables and the univariate functions fi are “simple”. This method arises from the exclusion method of Dedieu and Yakoubsohn. We provide both a theoretical complexity bound and some numerical experiments.
['Aude Maignan']
Real Solving of Elementary-Algebraic Systems