Cusp bifurcations: numerical detection via two-parameter continuation and computer-assisted proofs of existence

Jean-Philippe Lessard, Alessandro Pugliese

This paper introduces a novel computer-assisted method for detecting and constructively proving the existence of cusp bifurcations in differential equations. The approach begins wi…