Solving systems of bivariate polynomials is a critical operation: curves plotting, curves topology, parametric systems, general solvers which are recursive on the number of variables, etc. Several strategies currently exist from numerical algorithms (bisections for example, interval arithmetic) to general rewriting methods (Gröbner bases, triangular sets, resultants, etc.) with advantages and drawbacks.