Verification of bifurcation diagrams for polynomial-like equations