{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T05:02:20Z","timestamp":1750309340027,"version":"3.41.0"},"reference-count":56,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2024,3,16]],"date-time":"2024-03-16T00:00:00Z","timestamp":1710547200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001665","name":"French national research agency","doi-asserted-by":"crossref","award":["NuSCAP (ANR-20-CE48-0014)"],"award-info":[{"award-number":["NuSCAP (ANR-20-CE48-0014)"]}],"id":[{"id":"10.13039\/501100001665","id-type":"DOI","asserted-by":"crossref"}]},{"name":"Universit\u00e9 de Lyon, within the program \u201cInvestissements d\u2019Avenir\u201d","award":["LABEX MILYON (ANR-10-LABX-0070)"],"award-info":[{"award-number":["LABEX MILYON (ANR-10-LABX-0070)"]}]},{"DOI":"10.13039\/501100001665","name":"French National Research Agency","doi-asserted-by":"crossref","award":["ANR-11-IDEX-0007"],"award-info":[{"award-number":["ANR-11-IDEX-0007"]}],"id":[{"id":"10.13039\/501100001665","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100004359","name":"Swedish Research Council","doi-asserted-by":"crossref","award":["VR-2018-04265"],"award-info":[{"award-number":["VR-2018-04265"]}],"id":[{"id":"10.13039\/501100004359","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Math. Softw."],"published-print":{"date-parts":[[2024,3,31]]},"abstract":"<jats:p>Abelian integrals play a key role in the infinitesimal version of Hilbert\u2019s 16th problem. Being able to evaluate such integrals\u2014with guaranteed error bounds\u2014is a fundamental step in computer-aided proofs aimed at this problem. Using interpolation by trigonometric polynomials and quasi-Newton-Kantorovitch validation, we develop a validated numerics method for computing Abelian integrals in a quasi-linear number of arithmetic operations. Our approach is both effective, as exemplified on two practical perturbed integrable systems, and amenable to an implementation in a formal proof assistant, which is key to provide fully reliable computer-aided proofs.<\/jats:p>","DOI":"10.1145\/3637550","type":"journal-article","created":{"date-parts":[[2023,12,18]],"date-time":"2023-12-18T11:54:01Z","timestamp":1702900441000},"page":"1-38","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Efficient and Validated Numerical Evaluation of Abelian Integrals"],"prefix":"10.1145","volume":"50","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3909-2099","authenticated-orcid":false,"given":"Florent","family":"Br\u00e9hard","sequence":"first","affiliation":[{"name":"Univ. Lille, CNRS, Centrale Lille, UMR 9189 CRIStAL, Lille, France"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4220-2132","authenticated-orcid":false,"given":"Nicolas","family":"Brisebarre","sequence":"additional","affiliation":[{"name":"CNRS, LIP, Inria AriC, Universit\u00e9 de Lyon, Lyon, France"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7781-3745","authenticated-orcid":false,"given":"Mioara","family":"Joldes","sequence":"additional","affiliation":[{"name":"LAAS-CNRS, Universit\u00e9 de Toulouse, CNRS, Toulouse, France"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9888-944X","authenticated-orcid":false,"given":"Warwick","family":"Tucker","sequence":"additional","affiliation":[{"name":"School of Mathematics, Monash University, VIC, Australia"}]}],"member":"320","published-online":{"date-parts":[[2024,3,16]]},"reference":[{"key":"e_1_3_4_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-51084-2_26"},{"key":"e_1_3_4_3_1","doi-asserted-by":"publisher","DOI":"10.4007\/annals.2012.176.1.10"},{"issue":"2","key":"e_1_3_4_4_1","first-page":"1\u201310, 95","article-title":"Loss of stability of self-induced oscillations near resonance, and versal deformations of equivariant vector fields","volume":"11","author":"Arnold V. I.","year":"1977","unstructured":"V. I. Arnold. 1977. Loss of stability of self-induced oscillations near resonance, and versal deformations of equivariant vector fields. Funkcional. Anal. i Prilo\u017een. 11, 2 (1977), 1\u201310, 95. Translated in English in Funct. Anal. Appl. 11, 2 (1977), 85\u201392.","journal-title":"Funkcional. Anal. i Prilo\u017een."},{"key":"e_1_3_4_5_1","series-title":"(Adv. Soviet Math.","volume-title":"Ten Problems","author":"Arnold V. I.","year":"1990","unstructured":"V. I. Arnold. 1990. Ten Problems(Adv. Soviet Math., Vol. 1).Amer. Math. Soc., Providence, RI. 1\u20138 pages."},{"issue":"1","key":"e_1_3_4_6_1","first-page":"55","article-title":"Piecewise rational approximations of real algebraic curves","volume":"15","author":"Bajaj C. L.","year":"1997","unstructured":"C. L. Bajaj and G. L. Xu. 1997. Piecewise rational approximations of real algebraic curves. J. Comput. Math. 15, 1 (1997), 55\u201371.","journal-title":"J. Comput. Math."},{"key":"e_1_3_4_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10208-013-9143-2"},{"key":"e_1_3_4_8_1","volume-title":"Interactive Theorem Proving and Program Development: Coq\u2019Art: The Calculus of Inductive Constructions","author":"Bertot Yves","year":"2013","unstructured":"Yves Bertot and Pierre Cast\u00e9ran. 2013. Interactive Theorem Proving and Program Development: Coq\u2019Art: The Calculus of Inductive Constructions. Springer Science & Business Media."},{"key":"e_1_3_4_9_1","doi-asserted-by":"publisher","DOI":"10.1137\/141000671"},{"key":"e_1_3_4_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00222-010-0244-0"},{"issue":"38","key":"e_1_3_4_11_1","first-page":"36","article-title":"Moyenne arithm\u00e9tico-g\u00e9om\u00e9trique et p\u00e9riodes des courbes de genre 1 et 2","author":"Bost Jean-Beno\u00eet","year":"1988","unstructured":"Jean-Beno\u00eet Bost and Jean-Fran\u00e7ois Mestre. 1988. Moyenne arithm\u00e9tico-g\u00e9om\u00e9trique et p\u00e9riodes des courbes de genre 1 et 2. Gaz. Math.38 (1988), 36\u201364.","journal-title":"Gaz. Math."},{"key":"e_1_3_4_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1837934.1837966"},{"key":"e_1_3_4_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3368619"},{"key":"e_1_3_4_14_1","volume-title":"Certified Numerics in Function Spaces: Polynomial Approximations Meet Computer Algebra and Formal Proof","author":"Br\u00e9hard Florent","year":"2019","unstructured":"Florent Br\u00e9hard. 2019. Certified Numerics in Function Spaces: Polynomial Approximations Meet Computer Algebra and Formal Proof. Ph.D. Dissertation. \u00c9cole normale sup\u00e9rieure de Lyon\u2014Universit\u00e9 de Lyon, Lyon. Retrieved from https:\/\/tel.archives-ouvertes.fr\/tel-02337901"},{"key":"e_1_3_4_15_1","volume-title":"Elementary Theory of Analytic Functions of One or Several Complex Variables","author":"Cartan Henri","year":"1995","unstructured":"Henri Cartan. 1995. Elementary Theory of Analytic Functions of One or Several Complex Variables. Dover Publications, Inc., New York. 228 pages."},{"key":"e_1_3_4_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jde.2005.01.009"},{"key":"e_1_3_4_17_1","volume-title":"Limit Cycles of Differential Equations","author":"Christopher Colin","year":"2007","unstructured":"Colin Christopher and Chengzhi Li. 2007. Limit Cycles of Differential Equations. Birkh\u00e4user Verlag, Basel. viii+171 pages."},{"key":"e_1_3_4_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10915-013-9749-1"},{"key":"e_1_3_4_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-0396(02)00111-0"},{"key":"e_1_3_4_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01429047"},{"key":"e_1_3_4_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/0378-4754(82)90045-3"},{"key":"e_1_3_4_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/0378-4754(82)90046-5"},{"key":"e_1_3_4_23_1","doi-asserted-by":"publisher","DOI":"10.1137\/16M1073790"},{"key":"e_1_3_4_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cagd.2004.07.009"},{"key":"e_1_3_4_25_1","doi-asserted-by":"publisher","DOI":"10.4007\/annals.2021.193.2.4"},{"key":"e_1_3_4_26_1","first-page":"253","article-title":"Mathematische probleme. Vortrag, gehalten auf dem internationalen mathematiker-congress zu Paris 1900.","volume":"1900","author":"Hilbert D.","year":"1900","unstructured":"D. Hilbert. 1900. Mathematische probleme. Vortrag, gehalten auf dem internationalen mathematiker-congress zu Paris 1900. Nachr. Ges. Wiss. G\u00f6ttingen, Math.-Phys. Kl. 1900 (1900), 253\u2013297.","journal-title":"Nachr. Ges. Wiss. G\u00f6ttingen, Math.-Phys. Kl."},{"key":"e_1_3_4_27_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1998.0212"},{"key":"e_1_3_4_28_1","doi-asserted-by":"publisher","DOI":"10.1090\/mcom\/3046"},{"key":"e_1_3_4_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2017.2690633"},{"key":"e_1_3_4_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-96418-8_30"},{"issue":"3","key":"e_1_3_4_31_1","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1080\/10586458.2011.565252","article-title":"A quartic system with twenty-six limit cycles","volume":"20","author":"Johnson Tomas","year":"2011","unstructured":"Tomas Johnson. 2011. A quartic system with twenty-six limit cycles. Exp. Math. 20, 3 (2011), 323\u2013328.","journal-title":"Exp. Math."},{"key":"e_1_3_4_32_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0218127410025405"},{"key":"e_1_3_4_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10543-011-0318-4"},{"key":"e_1_3_4_34_1","first-page":"105578","article-title":"CAPD::DynSys: A flexible C++ toolbox for rigorous numerical analysis of dynamical systems","author":"Kapela Tomasz","year":"2020","unstructured":"Tomasz Kapela, Marian Mrozek, Daniel Wilczak, and Piotr Zgliczy\u0144ski. 2020. CAPD::DynSys: A flexible C++ toolbox for rigorous numerical analysis of dynamical systems. Commun. Nonlin. Sci. Numer. Simul. 101 (Oct. 2020), 105578.","journal-title":"Commun. Nonlin. Sci. Numer. Simul."},{"key":"e_1_3_4_35_1","unstructured":"Tomasz Kapela Daniel Wilczak and Piotr Zgliczy\u0144ski. 2021. Recent advances in rigorous computation of Poincar\u00e9 maps. (2021). arxiv:math.NA\/2104.08046"},{"key":"e_1_3_4_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/3326229.3326262"},{"key":"e_1_3_4_37_1","doi-asserted-by":"publisher","DOI":"10.1090\/S0273-0979-1982-15008-X"},{"key":"e_1_3_4_38_1","series-title":"(Graduate Texts in Mathematics","volume-title":"Introduction to Smooth Manifolds (2nd ed.)","author":"Lee John M.","year":"2013","unstructured":"John M. Lee. 2013. Introduction to Smooth Manifolds (2nd ed.)(Graduate Texts in Mathematics, Vol. 218). Springer, New York. xvi+708 pages."},{"key":"e_1_3_4_39_1","doi-asserted-by":"publisher","DOI":"10.21136\/AM.2018.0082-18"},{"key":"e_1_3_4_40_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jde.2009.01.038"},{"key":"e_1_3_4_41_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2009.05.006"},{"issue":"4","key":"e_1_3_4_42_1","first-page":"379","article-title":"Taylor models and other validated functional inclusion methods","volume":"4","author":"Makino Kyoko","year":"2003","unstructured":"Kyoko Makino and Martin Berz. 2003a. Taylor models and other validated functional inclusion methods. Int. J. Pure Appl. Math. 4, 4 (2003), 379\u2013456.","journal-title":"Int. J. Pure Appl. Math."},{"issue":"3","key":"e_1_3_4_43_1","first-page":"239","article-title":"Taylor models and other validated functional inclusion methods","volume":"6","author":"Makino Kyoko","year":"2003","unstructured":"Kyoko Makino and Martin Berz. 2003b. Taylor models and other validated functional inclusion methods. Int. J. Pure Appl. Math. 6, 3 (2003), 239\u2013316.","journal-title":"Int. J. Pure Appl. Math."},{"key":"e_1_3_4_44_1","doi-asserted-by":"publisher","DOI":"10.1137\/130906544"},{"key":"e_1_3_4_45_1","volume-title":"Interval Analysis","author":"Moore Ramon E.","year":"1966","unstructured":"Ramon E. Moore. 1966. Interval Analysis. Vol. 4. Prentice-Hall Englewood Cliffs."},{"key":"e_1_3_4_46_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1023061927787"},{"key":"e_1_3_4_47_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jmaa.2016.10.076"},{"key":"e_1_3_4_48_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139171502"},{"key":"e_1_3_4_49_1","doi-asserted-by":"publisher","DOI":"10.1088\/1361-6544\/aae94d"},{"key":"e_1_3_4_50_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.camwa.2011.06.002"},{"key":"e_1_3_4_51_1","volume-title":"Validated Numerics: A Short Introduction to Rigorous Computations","author":"Tucker Warwick","year":"2011","unstructured":"Warwick Tucker. 2011. Validated Numerics: A Short Introduction to Rigorous Computations. Princeton University Press."},{"key":"e_1_3_4_52_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-0396(03)00104-9"},{"key":"e_1_3_4_53_1","doi-asserted-by":"publisher","DOI":"10.1137\/141001007"},{"key":"e_1_3_4_54_1","first-page":"399","volume-title":"Proceedings of the ACM International Symposium on Symbolic and Algebraic Computation (ISSAC\u201918)","author":"Xu Juan","year":"2018","unstructured":"Juan Xu, Michael Burr, and Chee Yap. 2018. An approach for certifying homotopy continuation paths: Univariate case. In Proceedings of the ACM International Symposium on Symbolic and Algebraic Computation (ISSAC\u201918). Association for Computing Machinery, New York, NY, 399\u2013406."},{"key":"e_1_3_4_55_1","doi-asserted-by":"publisher","DOI":"10.1137\/S0036142996304498"},{"key":"e_1_3_4_56_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11786-011-0070-9"},{"key":"e_1_3_4_57_1","volume-title":"Trigonometric Series. Vols. I, II (third ed.)","author":"Zygmund A.","year":"2002","unstructured":"A. Zygmund. 2002. Trigonometric Series. Vols. I, II (third ed.). Cambridge University Press, Cambridge. xii; Vol. I: xiv+383 pp.; Vol. II: viii+364 pages."}],"container-title":["ACM Transactions on Mathematical Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3637550","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3637550","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T00:04:24Z","timestamp":1750291464000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3637550"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,3,16]]},"references-count":56,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2024,3,31]]}},"alternative-id":["10.1145\/3637550"],"URL":"https:\/\/doi.org\/10.1145\/3637550","relation":{},"ISSN":["0098-3500","1557-7295"],"issn-type":[{"type":"print","value":"0098-3500"},{"type":"electronic","value":"1557-7295"}],"subject":[],"published":{"date-parts":[[2024,3,16]]},"assertion":[{"value":"2022-06-16","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2023-11-27","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2024-03-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}