Kac-Rice formulas and the number of solutions of parametrized systems of polynomial equations.