{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,17]],"date-time":"2026-04-17T04:58:25Z","timestamp":1776401905675,"version":"3.51.2"},"reference-count":78,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2016,11,17]],"date-time":"2016-11-17T00:00:00Z","timestamp":1479340800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Found Comput Math"],"published-print":{"date-parts":[[2017,10]]},"DOI":"10.1007\/s10208-016-9339-3","type":"journal-article","created":{"date-parts":[[2016,11,17]],"date-time":"2016-11-17T17:06:02Z","timestamp":1479402362000},"page":"1123-1193","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":61,"title":["Rigorous Computer-Assisted Application of KAM Theory: A Modern Approach"],"prefix":"10.1007","volume":"17","author":[{"given":"J.-Ll.","family":"Figueras","sequence":"first","affiliation":[]},{"given":"A.","family":"Haro","sequence":"additional","affiliation":[]},{"given":"A.","family":"Luque","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,11,17]]},"reference":[{"key":"9339_CR1","unstructured":"http:\/\/capd.ii.uj.edu.pl\/download.php ."},{"key":"9339_CR2","doi-asserted-by":"crossref","unstructured":"V.I. Arnold. Proof of a theorem of A. N. Kolmogorov on the preservation of conditionally periodic motions under a small perturbation of the Hamiltonian. Uspehi Mat. Nauk, 18(5 (113)):13\u201340, 1963.","DOI":"10.1070\/RM1963v018n05ABEH004130"},{"key":"9339_CR3","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1070\/RM1963v018n06ABEH001143","volume":"18","author":"VI Arnold","year":"1963","unstructured":"V.I. Arnold. Small denominators and problems of stability of motion in classical and celestial mechanics. Russ. Math. Surveys, 18:85\u2013192, 1963.","journal-title":"Russ. Math. Surv."},{"key":"9339_CR4","doi-asserted-by":"crossref","unstructured":"G. Benettin, L. Galgani, A. Giorgilli, and J.-M. Strelcyn. A proof of K lmogorov\u2019s theorem on invariant tori using canonical transformations defined by the Lie method. Nuovo Cimento B (11), 79(2):201\u2013223, 1984.","DOI":"10.1007\/BF02748972"},{"key":"9339_CR5","unstructured":"J.B. Bost. Tores invariants des syst\u00e8mes dynamiques hamiltoniens (d\u2019apr\u00e8s Kolmogorov, Arnold, Moser, R\u00fcssmann, Zehnder, Herman, P\u00f6schel, $$\\,\\ldots $$ \u2026 ). Ast\u00e9risque, (133-134):113\u2013157, 1986. Seminar Bourbaki, Vol. 1984\/85."},{"key":"9339_CR6","unstructured":"H.W. Broer, G.B. Huitema, and M.B. Sevryuk. Quasi-periodic motions in families of dynamical systems. Order amidst chaos. Lecture Notes in Math., Vol 1645. Springer, Berlin, 1996."},{"issue":"5","key":"9339_CR7","doi-asserted-by":"crossref","first-page":"978","DOI":"10.1016\/j.jde.2013.05.001","volume":"255","author":"R Calleja","year":"2013","unstructured":"R. Calleja, A. Celletti, and R. de la Llave. A KAM theory for conformally symplectic systems: efficient algorithms and their validation. J. Differential Equations, 255(5):978\u20131049, 2013.","journal-title":"J. Differ. Equ."},{"issue":"9","key":"9339_CR8","doi-asserted-by":"crossref","first-page":"2029","DOI":"10.1088\/0951-7715\/23\/9\/001","volume":"23","author":"R Calleja","year":"2010","unstructured":"R. Calleja and R. de la Llave. A numerically accessible criterion for the breakdown of quasi-periodic solutions and its rigorous justification. Nonlinearity, 23(9):2029\u20132058, 2010.","journal-title":"Nonlinearity"},{"key":"9339_CR9","doi-asserted-by":"crossref","unstructured":"R. Calleja and J.-Ll. Figueras. Collision of invariant bundles of quasi-periodic attractors in the dissipative standard map. Chaos, 22(3):033114, 2012.","DOI":"10.1063\/1.4737205"},{"key":"9339_CR10","doi-asserted-by":"crossref","unstructured":"M. Canadell and A. Haro. Parameterization method for computing quasi-periodic reducible normally hyperbolic invariant tori. In F. Casas, V. Mart\u00ednez (eds.), Advances in Differential Equations and Applications, volume 4 of SEMA SIMAI Springer Series. Springer, 2014.","DOI":"10.1007\/978-3-319-06953-1_9"},{"key":"9339_CR11","doi-asserted-by":"crossref","unstructured":"M. Canadell and A. Haro. A KAM-like theorem for quasi-periodic normally hyperbolic invariant tori. Preprint, 2015.","DOI":"10.1007\/978-3-319-29662-3_5"},{"key":"9339_CR12","doi-asserted-by":"crossref","unstructured":"A. Castro, D. C\u00f3rdoba, C. Fefferman, F. Gancedo, and J. G\u00f3mez-Serrano. Finite time singularities for the free boundary incompressible Euler equations. Ann. Math., 178(3):1061\u20131134, 2013.","DOI":"10.4007\/annals.2013.178.3.6"},{"issue":"1","key":"9339_CR13","doi-asserted-by":"crossref","first-page":"199-161","DOI":"10.1007\/BF01218480","volume":"118","author":"A Celletti","year":"1988","unstructured":"A. Celletti and L. Chierchia. Construction of Analytic KAM Surfaces and Effective Stability Bounds. Comm. Math. Phys., 118(1):199\u2013161, 1988.","journal-title":"Comm. Math. Phys."},{"key":"9339_CR14","doi-asserted-by":"crossref","unstructured":"A. Celletti and L. Chierchia. A constructive theory of Lagrangian tori and computer-assisted applications. In Dynamics Reported, pages 60\u2013129. Springer, Berlin, 1995.","DOI":"10.1007\/978-3-642-61215-2_2"},{"issue":"2","key":"9339_CR15","doi-asserted-by":"crossref","first-page":"413","DOI":"10.1007\/s002200050115","volume":"186","author":"A Celletti","year":"1997","unstructured":"A. Celletti and L. Chierchia. On the stability of realistic three-body problems. Comm. Math. Phys., 186(2):413\u2013449, 1997.","journal-title":"Comm. Math. Phys."},{"key":"9339_CR16","doi-asserted-by":"crossref","unstructured":"A. Celletti and L. Chierchia. KAM stability and celestial mechanics. Mem. Amer. Math. Soc., 187(878):viii+134, 2007.","DOI":"10.1090\/memo\/0878"},{"issue":"3","key":"9339_CR17","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1070\/RD2004v009n03ABEH000278","volume":"9","author":"A Celletti","year":"2004","unstructured":"A. Celletti, C. Falcolini, and U. Locatelli. On the break-down threshold of invariant tori in four dimensional maps. Regul. Chaotic Dyn., 9(3):227\u2013253, 2004.","journal-title":"Regul. Chaotic Dyn."},{"issue":"5","key":"9339_CR18","doi-asserted-by":"crossref","first-page":"264","DOI":"10.1016\/0370-1573(79)90023-1","volume":"52","author":"BV Chirikov","year":"1979","unstructured":"B.V. Chirikov. A universal instability of many-dimensional oscillator systems. Phys. Rep., 52(5):264\u2013379, 1979.","journal-title":"Phys. Rep."},{"key":"9339_CR19","doi-asserted-by":"crossref","unstructured":"R. de la Llave. A tutorial on KAM theory. In Smooth ergodic theory and its applications (Seattle, WA, 1999), volume 69 of Proc. Sympos. Pure Math., pages 175\u2013292. Amer. Math. Soc., Providence, RI, 2001.","DOI":"10.1090\/pspum\/069\/1858536"},{"issue":"2","key":"9339_CR20","doi-asserted-by":"crossref","first-page":"855","DOI":"10.1088\/0951-7715\/18\/2\/020","volume":"18","author":"R Llave de la","year":"2005","unstructured":"R. de la Llave, A. Gonz\u00e1lez, \u00c0. Jorba, and J. Villanueva. KAM theory without action-angle variables. Nonlinearity, 18(2):855\u2013895, 2005.","journal-title":"Nonlinearity"},{"issue":"6","key":"9339_CR21","doi-asserted-by":"crossref","first-page":"1154","DOI":"10.1007\/s10955-011-0233-8","volume":"143","author":"R Llave de la","year":"2011","unstructured":"R. de la Llave and A. Luque. Differentiability at the tip of Arnold tongues for Diophantine rotations: numerical studies and renormalization group explanations. J. Stat. Phys., 143(6):1154\u20131188, 2011.","journal-title":"J. Stat. Phys."},{"key":"9339_CR22","doi-asserted-by":"crossref","unstructured":"R. de la Llave and D. Rana. Accurate strategies for small divisor problems. Bull. Amer. Math. Soc. (N.S.), 22(1):85\u201390, 1990.","DOI":"10.1090\/S0273-0979-1990-15848-3"},{"key":"9339_CR23","doi-asserted-by":"crossref","unstructured":"R. de la Llave and D. Rana. Accurate strategies for K.A.M. bounds and their implementation. In Computer aided proofs in analysis (Cincinnati, OH, 1989), volume 28 of IMA Vol. Math. Appl., pages 127\u2013146. Springer, New York, 1991.","DOI":"10.1007\/978-1-4613-9092-3_12"},{"issue":"1\u20132","key":"9339_CR24","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0167-2789(95)00257-X","volume":"91","author":"D Castillo-Negrete del","year":"1996","unstructured":"D. del Castillo-Negrete, J.M. Greene, and P.J. Morrison. Area preserving nontwist maps: periodic orbits and transition to chaos. Phys. D, 91(1-2):1\u201323, 1996.","journal-title":"Phys. D"},{"key":"9339_CR25","doi-asserted-by":"crossref","unstructured":"A. Delshams and R. de la Llave. KAM theory and a partial justification of Greene\u2019s criterion for nontwist maps. SIAM J. Math. Anal., 31(6):1235\u20131269 (electronic), 2000.","DOI":"10.1137\/S003614109834908X"},{"issue":"9","key":"9339_CR26","doi-asserted-by":"crossref","first-page":"1733","DOI":"10.1215\/00127094-3120060","volume":"164","author":"LH Eliasson","year":"2015","unstructured":"L.H. Eliasson, B. Fayad, and R. Krikorian. Around the stability of KAM tori. Duke Math. J., 164(9):1733\u20131775, 2015.","journal-title":"Duke Math. J."},{"issue":"10","key":"9339_CR27","doi-asserted-by":"crossref","first-page":"1421","DOI":"10.1002\/cpa.20064","volume":"58","author":"CL Epstein","year":"2005","unstructured":"C.L. Epstein. How well does the finite Fourier transform approximate the Fourier transform? Comm. Pure Appl. Math., 58(10):1421\u20131435, 2005.","journal-title":"Comm. Pure Appl. Math."},{"key":"9339_CR28","doi-asserted-by":"crossref","unstructured":"C.L. Fefferman and L.A. Seco. Interval arithmetic in quantum mechanics. In Applications of interval computations (El Paso, TX, 1995), volume 3 of Appl. Optim., pages 145\u2013167. Kluwer Acad. Publ., Dordrecht, 1996.","DOI":"10.1007\/978-1-4613-3440-8_7"},{"key":"9339_CR29","doi-asserted-by":"crossref","unstructured":"J.-Ll. Figueras and A. Haro. Reliable computation of robust response tori on the verge of breakdown. SIAM J. Appl. Dyn. Syst., 11:597\u2013628, 2012.","DOI":"10.1137\/100809222"},{"issue":"8","key":"9339_CR30","doi-asserted-by":"crossref","first-page":"3136","DOI":"10.1016\/j.jde.2009.01.037","volume":"246","author":"E Fontich","year":"2009","unstructured":"E. Fontich, R. de la Llave, and Y. Sire. Construction of invariant whiskered tori by a parameterization method. I. Maps and flows in finite dimensions. J. Differential Equations, 246(8):3136\u20133213, 2009.","journal-title":"J. Differ. Equ."},{"issue":"4","key":"9339_CR31","doi-asserted-by":"crossref","first-page":"1004","DOI":"10.1016\/j.cnsns.2013.07.028","volume":"19","author":"AM Fox","year":"2014","unstructured":"A. M. Fox and J. D. Meiss. Critical invariant circles in asymmetric and multiharmonic generalized standard maps. Commun. Nonlinear Sci. Numer. Simul., 19(4):1004\u20131026, 2014.","journal-title":"Commun. Nonlinear Sci. Numer. Simul."},{"key":"9339_CR32","first-page":"172","volume":"16","author":"C Froesch\u00e9","year":"1972","unstructured":"C. Froesch\u00e9. Numerical study of a four-dimensional mapping. Astron. Astrophys., 16:172\u2013189, 1972.","journal-title":"Astron. Astrophys."},{"key":"9339_CR33","doi-asserted-by":"crossref","unstructured":"G. Gallavotti. Perturbation theory for classical Hamiltonian systems. In Scaling and self-similarity in physics (Bures-sur-Yvette, 1981\/1982), volume 7 of Progr. Phys., pages 359\u2013426. Birkh\u00e4user Boston, Boston, MA, 1983.","DOI":"10.1007\/978-1-4899-6762-6_12"},{"key":"9339_CR34","unstructured":"A. Gonz\u00e1lez, A. Haro, and R. de la Llave. Singularity theory for non-twist KAM tori. Mem. Amer. Math. Soc., 227(1067):vi+115, 2014."},{"issue":"6","key":"9339_CR35","doi-asserted-by":"crossref","first-page":"1183","DOI":"10.1063\/1.524170","volume":"20","author":"JM Greene","year":"1975","unstructured":"J.M. Greene. A method for determining a stochastic transition. J. Math. Phys, 20(6):1183\u20131201, 1975.","journal-title":"J. Math. Phys"},{"key":"9339_CR36","unstructured":"A. Haro. The Primitive Function of an Exact Symplectomorphism. PhD thesis, Universitat de Barcelona, 1998. Available at http:\/\/hdl.handle.net\/2445\/42094 ."},{"key":"9339_CR37","doi-asserted-by":"crossref","unstructured":"A. Haro, M. Canadell, J.-Ll. Figueras, A. Luque, and J.M. Mondelo. The parameterization method for invariant manifolds: From rigorous results to effective computations. Applied Mathematical Sciences, Vol. 195. Springer, 2016.","DOI":"10.1007\/978-3-319-29662-3"},{"issue":"6","key":"9339_CR38","doi-asserted-by":"crossref","first-page":"1261","DOI":"10.3934\/dcdsb.2006.6.1261","volume":"6","author":"A Haro","year":"2006","unstructured":"A. Haro and R. de la Llave. A parameterization 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"},{"key":"9339_CR39","doi-asserted-by":"crossref","unstructured":"J. Hass and R. Schlafly. Double bubbles minimize. Ann. of Math. (2), 151(2):459\u2013515, 2000.","DOI":"10.2307\/121042"},{"key":"9339_CR40","unstructured":"M.-R. Herman. Sur les courbes invariantes par les diff\u00e9omorphismes de l\u2019anneau. Vol. 2. Ast\u00e9risque, (144):248, 1986. With a correction to: On the curves invariant under diffeomorphisms of the annulus, Vol. 1 (French) [Ast\u00e9risque No. 103-104, Soc. Math. France, Paris, 1983; MR 85m:58062]."},{"issue":"4","key":"9339_CR41","doi-asserted-by":"crossref","first-page":"1309","DOI":"10.3934\/dcds.2012.32.1309","volume":"32","author":"G Huguet","year":"2012","unstructured":"G. Huguet, R. de la Llave, and Y. Sire. Computation of whiskered invariant tori and their associated manifolds: new fast algorithms. Discrete Contin. Dyn. Syst., 32(4):1309\u20131353, 2012.","journal-title":"Discrete Contin. Dyn. Syst."},{"key":"9339_CR42","doi-asserted-by":"crossref","unstructured":"\u00c0. Jorba, R. de la Llave, and M. Zou. Lindstedt series for lower-dimensional tori. In Hamiltonian systems with three or more degrees of freedom (S\u2019Agar\u00f3, 1995), volume 533 of NATO Adv. Sci. Inst. Ser. C Math. Phys. Sci., pages 151\u2013167. Kluwer Acad. Publ., Dordrecht, 1999.","DOI":"10.1007\/978-94-011-4673-9_14"},{"issue":"1","key":"9339_CR43","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1017\/S0143385700006027","volume":"11","author":"I Jungreis","year":"1991","unstructured":"I. Jungreis. A method for proving that monotone twist maps have no invariant circles. Ergodic Theory Dynam. Systems, 11(1):79\u201384, 1991.","journal-title":"Ergodic Theory Dyn. Syst."},{"issue":"9","key":"9339_CR44","doi-asserted-by":"crossref","first-page":"435","DOI":"10.1016\/0375-9601(85)90548-1","volume":"110","author":"K Kaneko","year":"1985","unstructured":"K. Kaneko and R. Bagley. Arnold diffusion, ergodicity and intermittency in a coupled standard mapping. Physics Letters A, 110(9):435\u2013440, 1985.","journal-title":"Phys. Lett. A"},{"issue":"4","key":"9339_CR45","doi-asserted-by":"crossref","first-page":"565","DOI":"10.1137\/S0036144595284180","volume":"38","author":"H Koch","year":"1996","unstructured":"H. Koch, A. Schenkel, and P. Wittwer. Computer-assisted proofs in analysis and programming in logic: a case study. SIAM Rev., 38(4):565\u2013604, 1996.","journal-title":"SIAM Rev."},{"key":"9339_CR46","doi-asserted-by":"crossref","unstructured":"A.N. Kolmogorov. On conservation of conditionally periodic motions for a small change in Hamilton\u2019s function. Dokl. Akad. Nauk SSSR (N.S.), 98:527\u2013530, 1954. Translated in p. 51\u201356 of Stochastic Behavior in Classical and Quantum Hamiltonian Systems, Como 1977 (eds. G. Casati and J. Ford) Lect. Notes Phys. 93, Springer, Berlin, 1979.","DOI":"10.1007\/BFb0021737"},{"key":"9339_CR47","doi-asserted-by":"crossref","unstructured":"O.E. Lanford, III. A computer-assisted proof of the Feigenbaum conjectures. Bull. Amer. Math. Soc. (N.S.), 6(3):427\u2013434, 1982.","DOI":"10.1090\/S0273-0979-1982-15008-X"},{"issue":"11","key":"9339_CR48","doi-asserted-by":"crossref","first-page":"1453","DOI":"10.1016\/S0032-0633(98)00064-6","volume":"46","author":"U Locatelli","year":"1998","unstructured":"U. Locatelli. Three-body planetary problem: study of KAM stability for the secular part of the Hamiltonian. Planetary and Space Science, 46(11):1453\u20131464, 1998.","journal-title":"Planet. Space Sci."},{"issue":"1","key":"9339_CR49","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1023\/A:1011139523256","volume":"78","author":"U Locatelli","year":"2000","unstructured":"U. Locatelli and A. Giorgilli. Invariant tori in the secular motions of the three-body planetary systems. Cel. Mech., 78(1):47\u201374, 2000.","journal-title":"Cel. Mech."},{"issue":"20","key":"9339_CR50","doi-asserted-by":"crossref","first-page":"2025","DOI":"10.1016\/j.physd.2009.07.014","volume":"238","author":"A Luque","year":"2009","unstructured":"A. Luque and J. Villanueva. Numerical computation of rotation numbers for quasi-periodic planar curves. Phys. D, 238(20):2025\u20132044, 2009.","journal-title":"Phys. D"},{"issue":"4","key":"9339_CR51","doi-asserted-by":"crossref","first-page":"1033","DOI":"10.1088\/0951-7715\/24\/4\/003","volume":"24","author":"A Luque","year":"2011","unstructured":"A. Luque and J. Villanueva. A KAM theorem without action-angle variables for elliptic lower dimensional tori. Nonlinearity, 24(4):1033\u20131080, 2011.","journal-title":"Nonlinearity"},{"key":"9339_CR52","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1016\/j.physd.2016.02.014","volume":"325","author":"A Luque","year":"2016","unstructured":"A. Luque and J. Villanueva. A numerical method for computing initial conditions of Lagrangian invariant tori using the frequency map. Phys. D, 325:63\u201373, 2016.","journal-title":"Phys. D"},{"key":"9339_CR53","doi-asserted-by":"crossref","unstructured":"R.S. MacKay. Renormalisation in area-preserving maps, volume 6 of Advanced Series in Nonlinear Dynamics. World Scientific Publishing Co. Inc., River Edge, NJ, 1993.","DOI":"10.1142\/2001"},{"issue":"4","key":"9339_CR54","doi-asserted-by":"crossref","first-page":"555","DOI":"10.1088\/0951-7715\/2\/4\/004","volume":"2","author":"RS MacKay","year":"1989","unstructured":"R.S. MacKay, J.D. Meiss, and J. Stark. Converse KAM theory for symplectic twist maps. Nonlinearity, 2(4):555\u2013570, 1989.","journal-title":"Nonlinearity"},{"issue":"4","key":"9339_CR55","doi-asserted-by":"crossref","first-page":"469","DOI":"10.1007\/BF01209326","volume":"98","author":"RS MacKay","year":"1985","unstructured":"R.S. MacKay and I.C. Percival. Converse KAM: theory and practice. Comm. Math. Phys., 98(4):469\u2013512, 1985.","journal-title":"Comm. Math. Phys."},{"key":"9339_CR56","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1017\/S0143385700002455","volume":"4","author":"JN Mather","year":"1984","unstructured":"J.N. Mather. Non-existence of invariant circles. Ergodic Theory Dyn. Syst., 4:301\u2013309, 1984.","journal-title":"Ergodic Theory Dyn. Syst."},{"key":"9339_CR57","unstructured":"G.T. Minton. Computer-assisted proofs in geometry and physics. PhD thesis, Massachusetts Institute of Technology, 2013."},{"issue":"5\u20136","key":"9339_CR58","doi-asserted-by":"crossref","first-page":"1607","DOI":"10.1007\/BF02180145","volume":"78","author":"A Morbidelli","year":"1995","unstructured":"A. Morbidelli and A. Giorgilli. Superexponential stability of KAM tori. J. Statist. Phys., 78(5-6):1607\u20131617, 1995.","journal-title":"J. Statist. Phys."},{"key":"9339_CR59","unstructured":"J. Moser. On invariant curves of area-preserving mappings of an annulus. Nachr. Akad. Wiss. G\u00f6ttingen Math.-Phys. Kl. II, 1962:1\u201320, 1962."},{"issue":"2","key":"9339_CR60","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1137\/1008035","volume":"8","author":"J Moser","year":"1966","unstructured":"J. Moser. On the theory of quasiperiodic motions. SIAM Rev., 8(2):145\u2013172, 1966.","journal-title":"SIAM Rev."},{"issue":"20","key":"9339_CR61","first-page":"499","volume":"3","author":"J Moser","year":"1966","unstructured":"J. Moser. A rapidly convergent iteration method and non-linear differential equations. II. Ann. Scuola Norm. Sup. Pisa (3), 20:499\u2013535, 1966.","journal-title":"Ann. Scuola Norm. Sup. Pisa"},{"key":"9339_CR62","doi-asserted-by":"crossref","first-page":"136","DOI":"10.1007\/BF01399536","volume":"169","author":"J Moser","year":"1967","unstructured":"J. Moser. Convergent series expansions for quasi-periodic motions. Math. Ann., 169:136\u2013176, 1967.","journal-title":"Math. Ann."},{"issue":"6","key":"9339_CR63","doi-asserted-by":"crossref","first-page":"1016","DOI":"10.1016\/0021-8928(81)90116-7","volume":"45","author":"AI Neishtadt","year":"1981","unstructured":"A. I. Neishtadt. Estimates in the Kolmogorov theorem on conservation of conditionally periodic motions. J. Appl. Math. Mech, 45(6):1016\u20131025, 1981.","journal-title":"J. Appl. Math. Mech"},{"issue":"3","key":"9339_CR64","doi-asserted-by":"crossref","first-page":"962","DOI":"10.1137\/070687967","volume":"7","author":"A Olvera","year":"2008","unstructured":"A. Olvera and N.P. Petrov. Regularity properties of critical invariant circles of twist maps, and their universality. SIAM J. Appl. Dyn. Syst., 7(3):962\u2013987, 2008.","journal-title":"SIAM J. Appl. Dyn. Syst."},{"issue":"5","key":"9339_CR65","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1007\/s11155-005-6891-y","volume":"11","author":"N Revol","year":"2005","unstructured":"N. Revol and F. Rouillier. Motivations for an arbitrary precision interval arithmetic and the mpfi library. Reliable computing, 11(5):275\u2013290, 2005.","journal-title":"Reliab. Comput."},{"key":"9339_CR66","unstructured":"T. J. Rivlin. An introduction to the approximation of functions. Blaisdell Publishing Co. Ginn and Co., Waltham, Mass.-Toronto, Ont.-London, 1969."},{"key":"9339_CR67","doi-asserted-by":"crossref","unstructured":"H. R\u00fcssmann. On optimal estimates for the solutions of linear partial differential equations of first order with constant coefficients on the torus. In Dynamical systems, theory and applications (Rencontres, Battelle Res. Inst., Seattle, Wash., 1974), pages 598\u2013624. Lecture Notes in Phys., Vol. 38. Springer, Berlin, 1975.","DOI":"10.1007\/3-540-07171-7_19"},{"key":"9339_CR68","doi-asserted-by":"crossref","unstructured":"H. R\u00fcssmann. On a new proof of Moser\u2019s twist mapping theorem. In Proceedings of the Fifth Conference on Mathematical Methods in Celestial Mechanics (Oberwolfach, 1975), Part I. Celestial Mech., 14(1):19\u201331, 1976.","DOI":"10.1007\/BF01247128"},{"key":"9339_CR69","doi-asserted-by":"crossref","unstructured":"H. R\u00fcssmann. On optimal estimates for the solutions of linear difference equations on the circle. In Proceedings of the Fifth Conference on Mathematical Methods in Celestial Mechanics (Oberwolfach, 1975), Part I. Celestial Mech., volume 14, 1976.","DOI":"10.1007\/BF01247129"},{"issue":"1","key":"9339_CR70","doi-asserted-by":"crossref","first-page":"84","DOI":"10.1007\/BF02564665","volume":"64","author":"D Salamon","year":"1989","unstructured":"D. Salamon and E. Zehnder. KAM theory in configuration space. Comment. Math. Helv., 64(1):84\u2013132, 1989.","journal-title":"Comment. Math. Helv."},{"key":"9339_CR71","unstructured":"A. Schenkel, J. Wehr, and P. Wittwer. Computer-assisted proofs for fixed point problems in Sobolev spaces. Math. Phys. Electron. J., 6:Paper 3, 67, 2000."},{"key":"9339_CR72","doi-asserted-by":"crossref","unstructured":"C. Sim\u00f3. Invariant curves of analytic perturbed nontwist area preserving maps. Regul. Chaotic Dyn., 3(3):180\u2013195, 1998. J. Moser at 70.","DOI":"10.1070\/rd1998v003n03ABEH000088"},{"issue":"3","key":"9339_CR73","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1080\/10586458.1996.10504588","volume":"5","author":"S Tompaidis","year":"1996","unstructured":"S. Tompaidis. Approximation of invariant surfaces by periodic orbits in high-dimensional maps: some rigorous results. Experiment. Math., 5(3):197\u2013209, 1996.","journal-title":"Exp. Math."},{"key":"9339_CR74","doi-asserted-by":"crossref","unstructured":"W. Tucker. The Lorenz attractor exists. C. R. Acad. Sci. Paris S\u00e9r. I Math., 328(12):1197\u20131202, 1999.","DOI":"10.1016\/S0764-4442(99)80439-X"},{"key":"9339_CR75","doi-asserted-by":"crossref","DOI":"10.2307\/j.ctvcm4g18","volume-title":"Validated Numerics: A Short Introduction to Rigorous Computations","author":"W Tucker","year":"2011","unstructured":"W. Tucker. Validated Numerics: A Short Introduction to Rigorous Computations. Princeton University Press, Princeton, NJ, 2011."},{"issue":"9","key":"9339_CR76","doi-asserted-by":"crossref","first-page":"2251","DOI":"10.1016\/j.jde.2008.02.010","volume":"244","author":"J Villanueva","year":"2008","unstructured":"J. Villanueva. Kolmogorov theorem revisited. J. Differential Equations, 244(9):2251\u20132276, 2008.","journal-title":"J. Differ. Equ."},{"key":"9339_CR77","doi-asserted-by":"publisher","unstructured":"J. Villanueva. A new approach to the parameterization method for Lagrangian tori of hamiltonian systems. J. Nonlinear Sci., 2016. doi: 10.1007\/s00332-016-9342-5 .","DOI":"10.1007\/s00332-016-9342-5"},{"issue":"1","key":"9339_CR78","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1002\/cpa.3160290104","volume":"29","author":"E Zehnder","year":"1976","unstructured":"E. Zehnder. Generalized implicit function theorems with applications to some small divisor problems. II. Comm. Pure Appl. Math., 29(1):49\u2013111, 1976.","journal-title":"Comm. Pure Appl. Math."}],"container-title":["Foundations of Computational Mathematics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10208-016-9339-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10208-016-9339-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10208-016-9339-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,9,27]],"date-time":"2020-09-27T10:44:28Z","timestamp":1601203468000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10208-016-9339-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,11,17]]},"references-count":78,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2017,10]]}},"alternative-id":["9339"],"URL":"https:\/\/doi.org\/10.1007\/s10208-016-9339-3","relation":{},"ISSN":["1615-3375","1615-3383"],"issn-type":[{"value":"1615-3375","type":"print"},{"value":"1615-3383","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,11,17]]}}}