Libor Vytlačil Reliable characterization of the existence of solutions of parametric systems of equations