Solving zero-dimensional systems through the rational univariate representation (Q1293968)

A Kronecker definition for a zero-dimensional system states that it is solved if each root is represented in sucha way that any arithmetical operation may be performed over the arithmetical expressions of its coordinates. The author introduces a new univariate representation and shows that each root of a zero-dimensional system may be expressed in a so-called Rational Univariate Representation. Moreover, the paper proposes efficient algorithms for computing such a representation, implements them and includes timings and comparisons with existing methods.