Validated continuation of periodic orbits in polynomial ODEs, proves with the radii polynomial approach
Validated saddle node bifurcations and Hopf bifurcations in polynomial ODEs, proves with the radii polynomial approach
Eigenvalue problem for the Laplacian on a "slid domain"