Verification of bifurcation diagrams for polynomial-like equations

The results of our recent paper [P. Korman, Y. Li, T. Ouyang, Computing the location and the direction of bifurcation, Math. Res. Lett. 12 (2005) 933–944] appear to be sufficient to justify computer-generated bifurcation diagram for any autonomous two-point Dirichlet problem. Here we apply our results to polynomial-like nonlinearities.