Rational univariate representations of bivariate systems and applications
Yacine Bouzidi, Sylvain Lazard, Marc Pouget, Fabrice Rouillier · 2013
We address the problem of solving systems of two bivariate polynomials of total degree at most d with integer coefficients of maximum bitsize τ We suppose known a linear separating form (that is a linear combination of the variables that takes different values at distinct solutions of the system) and focus on the computation of a Rational Univariate Representation (RUR).