{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,1]],"date-time":"2026-06-01T18:20:37Z","timestamp":1780338037660,"version":"3.54.1"},"reference-count":44,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2016,4,19]],"date-time":"2016-04-19T00:00:00Z","timestamp":1461024000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Nonlinear Sci"],"published-print":{"date-parts":[[2016,8]]},"DOI":"10.1007\/s00332-016-9298-5","type":"journal-article","created":{"date-parts":[[2016,4,19]],"date-time":"2016-04-19T15:13:36Z","timestamp":1461078816000},"page":"1055-1095","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":46,"title":["Computing (Un)stable Manifolds with Validated Error Bounds: Non-resonant and Resonant Spectra"],"prefix":"10.1007","volume":"26","author":[{"given":"Jan Bouwe","family":"van den Berg","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jason D.","family":"Mireles James","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Christian","family":"Reinhardt","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2016,4,19]]},"reference":[{"issue":"4","key":"9298_CR1","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1007\/BF02240207","volume":"36","author":"G Alefeld","year":"1986","unstructured":"Alefeld, G., Spreuer, H.: Iterative improvement of componentwise error bounds for invariant subspaces belonging to double or nearly double eigenvalues. Computing 36(4), 321\u2013334 (1986)","journal-title":"Computing"},{"issue":"3","key":"9298_CR2","doi-asserted-by":"crossref","first-page":"1033","DOI":"10.1007\/s00205-010-0309-7","volume":"197","author":"G Arioli","year":"2010","unstructured":"Arioli, G., Koch, H.: Computer-assisted methods for the study of stationary solutions in dissipative systems, applied to the Kuramoto\u2013Sivashinski equation. Arch. Ration. Mech. Anal. 197(3), 1033\u20131051 (2010)","journal-title":"Arch. Ration. Mech. Anal."},{"key":"9298_CR3","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1016\/j.na.2014.09.023","volume":"113","author":"G Arioli","year":"2015","unstructured":"Arioli, G., Koch, H.: Existence and stability of traveling pulse solutions of the FitzHugh\u2013Nagumo equation. Nonlinear Anal. 113, 51\u201370 (2015)","journal-title":"Nonlinear Anal."},{"key":"9298_CR4","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s002110050357","volume":"80","author":"W-J Beyn","year":"1998","unstructured":"Beyn, W.-J., Kless, W.: Numerical Taylor expansions of invariant manifolds in large dynamical systems. Numer. Math. 80, 1\u201338 (1998)","journal-title":"Numer. Math."},{"key":"9298_CR5","doi-asserted-by":"crossref","unstructured":"Breden, M., Lessard, J.P., Mireles James, J.D.: Computation of maximal local (un)stable manifold patches by the parameterization method. (2015, submitted)","DOI":"10.1016\/j.indag.2015.11.001"},{"issue":"1","key":"9298_CR6","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1007\/s10440-013-9823-6","volume":"128","author":"M Breden","year":"2013","unstructured":"Breden, M., Lessard, J.P., Vanicat, M.: Global bifurcation diagram of steady states of systems of pdes via rigorous numerics. Acta Appl. Math. 128(1), 113\u2013152 (2013)","journal-title":"Acta Appl. Math."},{"key":"9298_CR7","doi-asserted-by":"crossref","first-page":"283","DOI":"10.1512\/iumj.2003.52.2245","volume":"52","author":"X Cabr\u00e9","year":"2003","unstructured":"Cabr\u00e9, X., Fontich, E., de la Llave, R.: The parameterization method for invariant manifolds I: manifolds associated to non-resonant subspaces. Indiana Univ. Math. J. 52, 283\u2013328 (2003)","journal-title":"Indiana Univ. Math. J."},{"key":"9298_CR8","doi-asserted-by":"crossref","first-page":"283","DOI":"10.1512\/iumj.2003.52.2245","volume":"52","author":"X Cabr\u00e9","year":"2003","unstructured":"Cabr\u00e9, X., Fontich, E., de la Llave, R.: The parametrization method for invariant manifolds II: regularity with respect to parameters. Indiana Univ. Math. J. 52, 283\u2013328 (2003)","journal-title":"Indiana Univ. Math. J."},{"issue":"2","key":"9298_CR9","doi-asserted-by":"crossref","first-page":"444","DOI":"10.1016\/j.jde.2004.12.003","volume":"218","author":"X Cabr\u00e9","year":"2005","unstructured":"Cabr\u00e9, X., Fontich, E., de la Llave, R.: The parametrization method for invariant manifolds III: overview and applications. J. Differ. Equ. 218(2), 444\u2013515 (2005)","journal-title":"J. Differ. Equ."},{"key":"9298_CR10","doi-asserted-by":"crossref","unstructured":"Canadell, M., Haro, A.: Parameterization method for computing quasi-periodic reducible normally hyperbolic invariant tori. In: Formaggia, L., Pedregal, P. (eds.) Advances in Differential Equations and Applications. SEMA SIMAI Springer Series, vol. 4, pp. 85\u201394 (2014)","DOI":"10.1007\/978-3-319-06953-1_9"},{"key":"9298_CR11","unstructured":"CAPD: Computer assisted proofs in dynamics, a package for rigorous numerics. 2015. http:\/\/capd.ii.uj.edu.pl\/"},{"issue":"7","key":"9298_CR12","doi-asserted-by":"crossref","first-page":"1997","DOI":"10.1088\/0951-7715\/25\/7\/1997","volume":"25","author":"M Capinksi","year":"2012","unstructured":"Capinksi, M., Simo, C.: Computer assisted proof for normally hyperbolic invariant manifolds. Nonlinearity 25(7), 1997\u20132026 (2012)","journal-title":"Nonlinearity"},{"key":"9298_CR13","doi-asserted-by":"crossref","first-page":"132","DOI":"10.1137\/140960207","volume":"14","author":"R Castelli","year":"2015","unstructured":"Castelli, R., Lessard, J.-P., Mireles-James, J.D.: Parametrization of invariant manifolds for periodic orbits (I): efficient numerics via the Floquet normal form. SIAM J. Appl. Dyn. Syst. 14, 132\u2013167 (2015)","journal-title":"SIAM J. Appl. Dyn. Syst."},{"key":"9298_CR14","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511665639","volume-title":"Normal Forms and Bifurcation of Planar Vector Fields","author":"S-N Chow","year":"1994","unstructured":"Chow, S.-N., Li, C., Wang, D.: Normal Forms and Bifurcation of Planar Vector Fields. Cambridge University Press, Cambridge (1994)"},{"key":"9298_CR15","unstructured":"Code page. http:\/\/www.few.vu.nl\/~crt290\/manifoldcode.php . Accessed 18 May 2015"},{"issue":"4","key":"9298_CR16","doi-asserted-by":"crossref","first-page":"1398","DOI":"10.1137\/050645968","volume":"45","author":"S Day","year":"2007","unstructured":"Day, S., Lessard, J.-P., Mischaikow, K.: Validated continuation for equilibria of PDEs. SIAM J. Numer. Anal. 45(4), 1398\u20131424 (2007)","journal-title":"SIAM J. Numer. Anal."},{"issue":"1","key":"9298_CR17","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1017\/S095679250200503X","volume":"14","author":"A Doelman","year":"2003","unstructured":"Doelman, A., Sandstede, B., Scheel, A., Schneider, G.: Propagation of hexagonal roles near onset. Eur. J. Appl. Math. 14(1), 85\u2013110 (2003)","journal-title":"Eur. J. Appl. Math."},{"issue":"289","key":"9298_CR18","first-page":"vi+122","volume":"47","author":"J-P Eckmann","year":"1984","unstructured":"Eckmann, J.-P., Koch, H., Wittwer, P.: A computer-assisted proof of universality for area-preserving maps. Mem. Amer. Math. Soc. 47(289), vi+122 (1984)","journal-title":"Mem. Amer. Math. Soc."},{"issue":"3\u20134","key":"9298_CR19","doi-asserted-by":"crossref","first-page":"645","DOI":"10.1007\/BF01049723","volume":"67","author":"C Falcolini","year":"1992","unstructured":"Falcolini, C., de la Llave, R.: Numerical calculation of domains of analyticity for perturbation theories in the presence of small divisors. J. Stat. Phys. 67(3\u20134), 645\u2013666 (1992)","journal-title":"J. Stat. Phys."},{"key":"9298_CR20","doi-asserted-by":"crossref","DOI":"10.1137\/1.9780898719543","volume-title":"Numerical Methods for Bifurcations of Dynamical Equilibria","author":"WF Govaerts","year":"2000","unstructured":"Govaerts, W.F.: Numerical Methods for Bifurcations of Dynamical Equilibria. SIAM, Philadelphia (2000)"},{"issue":"3","key":"9298_CR21","doi-asserted-by":"crossref","first-page":"1005","DOI":"10.1137\/080737666","volume":"8","author":"A Guillamon","year":"2009","unstructured":"Guillamon, A., Huguet, G.: A computational and geometric approach to phase resetting curves and surfaces. SIAM J. Appl. Dyn. Syst. 8(3), 1005\u20131042 (2009)","journal-title":"SIAM J. Appl. Dyn. Syst."},{"key":"9298_CR22","unstructured":"Haro, A.: Automatic differentiation methods in computational dynamical systems: invariant manifolds and normal forms of vector fields at fixed points. Notes for the IMA New Directions short course \u201cInvariant objects in dynamical systems and their applications\u201d (2011)"},{"key":"9298_CR23","unstructured":"Haro, A., Canadell, M., Figueras, J.-L.L., Luque, A., Mondelo, J.-M.: The parameterization method for invariant manifolds: from theory to effective computations, volume, 2014. Preprint. http:\/\/www.maia.ub.es\/~alex"},{"issue":"6","key":"9298_CR24","doi-asserted-by":"crossref","first-page":"1261","DOI":"10.3934\/dcdsb.2006.6.1261","volume":"6","author":"A Haro","year":"2006","unstructured":"Haro, A., da la Llave, R.: A parametrization method for the computation of invariant tori and their whiskers in quasi-periodic maps: Numerical algorithms. Discrete Contin. Dyn. Syst. Ser. B 6(6), 1261\u20131300 (2006)","journal-title":"Discrete Contin. Dyn. Syst. Ser. B"},{"issue":"4","key":"9298_CR25","doi-asserted-by":"crossref","first-page":"1763","DOI":"10.1137\/120901210","volume":"12","author":"G Huguet","year":"2013","unstructured":"Huguet, G., de la Llave, R.: Computation of limit cycles and their isochrons: fast algorithms and their convergence. SIAM J. Appl. Dyn. Syst. 12(4), 1763\u20131802 (2013)","journal-title":"SIAM J. Appl. Dyn. Syst."},{"key":"9298_CR26","doi-asserted-by":"crossref","unstructured":"Hungria, A., Lessard, J.P., Mireles-James, J.: Rigorous numerics for analytical solutions of differential equations: the radii polynomial approach. Math. Comput. 85(299), 1427\u20131459 (2016)","DOI":"10.1090\/mcom\/3046"},{"issue":"1","key":"9298_CR27","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1007\/s12346-011-0040-2","volume":"10","author":"T Johnson","year":"2011","unstructured":"Johnson, T., Tucker, W.: A note on the convergence of parametrised non-resonant invariant manifolds. Qual. Theory Dyn. Syst. 10(1), 107\u2013121 (2011)","journal-title":"Qual. Theory Dyn. Syst."},{"issue":"3","key":"9298_CR28","doi-asserted-by":"crossref","first-page":"763","DOI":"10.1142\/S0218127405012533","volume":"15","author":"B Krauskopf","year":"2005","unstructured":"Krauskopf, B., Osinga, H.M., Doedel, E.J., Henderson, M.E., Guckenheimer, J.M., Vladimirsky, A., Dellnitz, M., Junge, O.: A survey of methods for computing (un)stable manifolds of vector fields. Int. J. Bifurcation Chaos 15(3), 763\u2013791 (2005)","journal-title":"Int. J. Bifurcation Chaos"},{"key":"9298_CR29","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-3978-7","volume-title":"Elements of Applied Bifurcation Theory","author":"YuA Kuznetsov","year":"2004","unstructured":"Kuznetsov, YuA: Elements of Applied Bifurcation Theory. Springer, New York (2004)"},{"issue":"3","key":"9298_CR30","doi-asserted-by":"crossref","first-page":"427","DOI":"10.1090\/S0273-0979-1982-15008-X","volume":"6","author":"OE Lanford III","year":"1982","unstructured":"Lanford III, O.E.: A computer-assisted proof of the Feigenbaum conjectures. Bull. Am. Math. Soc. (N.S.) 6(3), 427\u2013434 (1982)","journal-title":"Bull. Am. Math. Soc. (N.S.)"},{"issue":"1","key":"9298_CR31","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1137\/13090883X","volume":"52","author":"J-P Lessard","year":"2014","unstructured":"Lessard, J.-P., Reinhardt, C.: Rigorous numerics for nonlinear odes using Chebyshev series. SIAM J. Numer. Anal. 52(1), 1\u201322 (2014)","journal-title":"SIAM J. Numer. Anal."},{"key":"9298_CR32","doi-asserted-by":"crossref","first-page":"130","DOI":"10.1175\/1520-0469(1963)020<0130:DNF>2.0.CO;2","volume":"20","author":"EN Lorenz","year":"1963","unstructured":"Lorenz, E.N.: Deterministic nonperiodic flows. J. Atmos. Sci. 20, 130\u2013141 (1963)","journal-title":"J. Atmos. Sci."},{"issue":"4","key":"9298_CR33","doi-asserted-by":"crossref","first-page":"585","DOI":"10.1007\/s00332-012-9162-1","volume":"23","author":"J Mireles-James","year":"2013","unstructured":"Mireles-James, J.: Quadratic volume-preserving maps: (un)stable manifolds, hyperbolic dynamics and vortex-bubble bifurcations. J. Nonlinear Sci. 23(4), 585\u2013615 (2013)","journal-title":"J. Nonlinear Sci."},{"key":"9298_CR34","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1016\/j.indag.2014.10.002","volume":"26","author":"J Mireles-James","year":"2015","unstructured":"Mireles-James, J.: Polynomial approximation of a one parameter family of (un)stable manifolds with rigorous error bounds. Indag. Math. 26, 225\u2013265 (2015)","journal-title":"Indag. Math."},{"issue":"3","key":"9298_CR35","doi-asserted-by":"crossref","first-page":"919","DOI":"10.1137\/090776329","volume":"9","author":"JD Mireles James","year":"2010","unstructured":"Mireles James, J.D., Lomel\u00ed, H.: Computation of heteroclinic arcs with application to the volume preserving H\u00e9non family. SIAM J. Appl. Dyn. Syst. 9(3), 919\u2013953 (2010)","journal-title":"SIAM J. Appl. Dyn. Syst."},{"issue":"2","key":"9298_CR36","doi-asserted-by":"crossref","first-page":"957","DOI":"10.1137\/12088224X","volume":"12","author":"J Mireles-James","year":"2013","unstructured":"Mireles-James, J., Mischaikow, K.: Rigorous a-posteriori computation of (un)stable manifolds and connecting orbits for analytic maps. SIAM J. Appl. Dyn. Syst. 12(2), 957\u20131006 (2013)","journal-title":"SIAM J. Appl. Dyn. Syst."},{"issue":"1\u20133","key":"9298_CR37","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1016\/S0024-3795(00)00279-2","volume":"324","author":"SM Rump","year":"2001","unstructured":"Rump, S.M.: Computational error bounds for multiple or nearly multiple eigenvalues. Linear Algebra Appl. 324(1\u20133), 209\u2013226 (2001)","journal-title":"Linear Algebra Appl."},{"key":"9298_CR38","unstructured":"van den Berg, J.B., Sheombarsing, R.: Domain decomposition in rigorous numerics for ODEs. (2016, submitted)"},{"issue":"271","key":"9298_CR39","doi-asserted-by":"crossref","first-page":"1565","DOI":"10.1090\/S0025-5718-10-02325-2","volume":"79","author":"JB Berg van den","year":"2010","unstructured":"van den Berg, J.B., Lessard, J.P., Mischaikow, K.: Global smooth solution curves using rigorous branch following. Math. Comput. 79(271), 1565\u20131584 (2010)","journal-title":"Math. Comput."},{"issue":"4","key":"9298_CR40","doi-asserted-by":"crossref","first-page":"1557","DOI":"10.1137\/100812008","volume":"43","author":"JB Berg van den","year":"2011","unstructured":"van den Berg, J.B., Lessard, J.-P., Mireles-James, J., Mischaikow, K.: Rigorous numerics for symmetric connecting orbits: even homoclinics of the Gray\u2013Scott equation. SIAM J. Math. Anal. 43(4), 1557\u20131594 (2011)","journal-title":"SIAM J. Math. Anal."},{"key":"9298_CR41","doi-asserted-by":"crossref","unstructured":"van den Berg, J.B., Mireles-James, J., Desch\u00eanes, A., Lessard, J.-P.: Stationary coexistence of hexagons and rolls via rigorous computations. SIAM J. Appl. Dyn. Syst. 14(2), 942\u2013979 (2015)","DOI":"10.1137\/140984506"},{"key":"9298_CR42","unstructured":"Wittig, A.: Rigorous high-precision enclosures of fixed points and their invariant manifolds. Ph.D. thesis, Michigan State University (2011)"},{"issue":"2\u20133","key":"9298_CR43","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1134\/S1560354710020024","volume":"15","author":"A Wittig","year":"2010","unstructured":"Wittig, A., Berz, M., Grote, J., Makino, K., Newhouse, S.: Rigorous and accurate enclosure of invariant manifolds on surfaces. Regul. Chaotic Dyn. 15(2\u20133), 107\u2013126 (2010)","journal-title":"Regul. Chaotic Dyn."},{"issue":"5","key":"9298_CR44","doi-asserted-by":"crossref","first-page":"2004","DOI":"10.1137\/S0036142996304498","volume":"35","author":"N Yamamoto","year":"1998","unstructured":"Yamamoto, N.: A numerical verification method for solutions of boundary value problems with local uniqueness by Banach\u2019s fixed-point theorem. SIAM J. Numer. Anal. 35(5), 2004\u20132013 (1998). (electronic)","journal-title":"SIAM J. Numer. Anal."}],"container-title":["Journal of Nonlinear Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00332-016-9298-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00332-016-9298-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00332-016-9298-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,6]],"date-time":"2019-09-06T21:16:20Z","timestamp":1567804580000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00332-016-9298-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,4,19]]},"references-count":44,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2016,8]]}},"alternative-id":["9298"],"URL":"https:\/\/doi.org\/10.1007\/s00332-016-9298-5","relation":{},"ISSN":["0938-8974","1432-1467"],"issn-type":[{"value":"0938-8974","type":"print"},{"value":"1432-1467","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,4,19]]}}}