Rigorous verification of saddle-node bifurcations in ODEs
scientific article; zbMATH DE number 6623248
scientific article