DS17 - MS25-3: Validated Continuation and Hopf bifurcations in ODEs(PDF) 2017-SIAM-DS17-MS25-3-017.pdf