Browsing Computational Mathematics (CM) by Subject "Validated continuation"
Now showing items 1-1 of 1
-
Rigorous numerics for symmetric connecting orbits: Even homoclinics of the Gray-Scott equation
(2011-12-31)In this paper we propose a rigorous numerical technique for the computation of symmetric connecting orbits for ordinary differential equations. The idea is to solve a projected boundary value problem (BVP) in a function ...