An implementation of rigorous continuation of one dimensional manifolds [1] based on the Ibex lib (http://www.ibex-lib.org/).
[1] Benjamin Martin, Alexandre Goldsztejn, Laurent Granvilliers and Christophe Jermann, Certified Parallelotope Continuation for One-Manifolds, SIAM Journal on Numerical Analysis, Volume 51(6), Pages 3373-3401, 2013