{"id":"https://openalex.org/W4221147081","doi":"https://doi.org/10.1145/3637550","title":"Efficient and Validated Numerical Evaluation of Abelian Integrals","display_name":"Efficient and Validated Numerical Evaluation of Abelian Integrals","publication_year":2023,"publication_date":"2023-12-18","ids":{"openalex":"https://openalex.org/W4221147081","doi":"https://doi.org/10.1145/3637550"},"language":"en","primary_location":{"id":"doi:10.1145/3637550","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3637550","pdf_url":null,"source":{"id":"https://openalex.org/S163326656","display_name":"ACM Transactions on Mathematical Software","issn_l":"0098-3500","issn":["0098-3500","1557-7295"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Mathematical Software","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://hal.science/hal-03561096/document","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5061149420","display_name":"Florent Br\u00e9hard","orcid":"https://orcid.org/0000-0003-3909-2099"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I2279609970","display_name":"Universit\u00e9 de Lille","ror":"https://ror.org/02kzqn938","country_code":"FR","type":"education","lineage":["https://openalex.org/I2279609970"]},{"id":"https://openalex.org/I7454413","display_name":"\u00c9cole Centrale de Lille","ror":"https://ror.org/01x441g73","country_code":"FR","type":"education","lineage":["https://openalex.org/I7454413"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Florent Br\u00e9hard","raw_affiliation_strings":["Univ. Lille, CNRS, Centrale Lille, UMR 9189 CRIStAL, Lille, France"],"affiliations":[{"raw_affiliation_string":"Univ. Lille, CNRS, Centrale Lille, UMR 9189 CRIStAL, Lille, France","institution_ids":["https://openalex.org/I7454413","https://openalex.org/I2279609970","https://openalex.org/I1294671590"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5058275399","display_name":"Nicolas Brisebarre","orcid":"https://orcid.org/0000-0002-4220-2132"},"institutions":[{"id":"https://openalex.org/I100532134","display_name":"Universit\u00e9 Claude Bernard Lyon 1","ror":"https://ror.org/029brtt94","country_code":"FR","type":"education","lineage":["https://openalex.org/I100532134","https://openalex.org/I203339264"]},{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Nicolas Brisebarre","raw_affiliation_strings":["CNRS, LIP, Inria AriC, Universit\u00e9 de Lyon, Lyon, France"],"affiliations":[{"raw_affiliation_string":"CNRS, LIP, Inria AriC, Universit\u00e9 de Lyon, Lyon, France","institution_ids":["https://openalex.org/I100532134","https://openalex.org/I1294671590"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5084830779","display_name":"Mioara Jolde\u015f","orcid":"https://orcid.org/0000-0001-7781-3745"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I17866349","display_name":"Universit\u00e9 F\u00e9d\u00e9rale de Toulouse Midi-Pyr\u00e9n\u00e9es","ror":"https://ror.org/004raaa70","country_code":"FR","type":"education","lineage":["https://openalex.org/I17866349"]},{"id":"https://openalex.org/I190497903","display_name":"Laboratoire d'Analyse et d'Architecture des Syst\u00e8mes","ror":"https://ror.org/03vcm6439","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I190497903","https://openalex.org/I196454796","https://openalex.org/I205747304","https://openalex.org/I205747304","https://openalex.org/I4210095849","https://openalex.org/I4210159245","https://openalex.org/I4387153255","https://openalex.org/I4405258862","https://openalex.org/I4405258862","https://openalex.org/I4405258862"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Mioara Joldes","raw_affiliation_strings":["LAAS-CNRS, Universit\u00e9 de Toulouse, CNRS, Toulouse, France"],"affiliations":[{"raw_affiliation_string":"LAAS-CNRS, Universit\u00e9 de Toulouse, CNRS, Toulouse, France","institution_ids":["https://openalex.org/I17866349","https://openalex.org/I1294671590","https://openalex.org/I190497903"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5028372442","display_name":"Warwick Tucker","orcid":"https://orcid.org/0000-0001-9888-944X"},"institutions":[{"id":"https://openalex.org/I56590836","display_name":"Monash University","ror":"https://ror.org/02bfwt286","country_code":"AU","type":"education","lineage":["https://openalex.org/I56590836"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Warwick Tucker","raw_affiliation_strings":["School of Mathematics, Monash University, VIC, Australia","School of Mathematics [Australia] (Monash University\r\n9 Rainforest Walk, Room 401\r\nVictoria 3800 - Australia)"],"affiliations":[{"raw_affiliation_string":"School of Mathematics, Monash University, VIC, Australia","institution_ids":["https://openalex.org/I56590836"]},{"raw_affiliation_string":"School of Mathematics [Australia] (Monash University\r\n9 Rainforest Walk, Room 401\r\nVictoria 3800 - Australia)","institution_ids":["https://openalex.org/I56590836"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5061149420"],"corresponding_institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I2279609970","https://openalex.org/I7454413"],"apc_list":null,"apc_paid":null,"fwci":0.1975,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.48937795,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"50","issue":"1","first_page":"1","last_page":"38"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11435","display_name":"Polynomial and algebraic computation","score":0.9991000294685364,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11435","display_name":"Polynomial and algebraic computation","score":0.9991000294685364,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11697","display_name":"Numerical Methods and Algorithms","score":0.9983999729156494,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12396","display_name":"Advanced Differential Equations and Dynamical Systems","score":0.994700014591217,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.6494045257568359},{"id":"https://openalex.org/keywords/interpolation","display_name":"Interpolation (computer graphics)","score":0.5461748838424683},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.5447956919670105},{"id":"https://openalex.org/keywords/abelian-group","display_name":"Abelian group","score":0.5368922352790833},{"id":"https://openalex.org/keywords/trigonometry","display_name":"Trigonometry","score":0.5163946747779846},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4996476173400879},{"id":"https://openalex.org/keywords/applied-mathematics","display_name":"Applied mathematics","score":0.4466276466846466},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.42051684856414795},{"id":"https://openalex.org/keywords/integrable-system","display_name":"Integrable system","score":0.41171592473983765},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4037069082260132},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.3874947726726532},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3325366675853729},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.21470025181770325},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.1574365496635437},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.08663678169250488}],"concepts":[{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.6494045257568359},{"id":"https://openalex.org/C137800194","wikidata":"https://www.wikidata.org/wiki/Q11713455","display_name":"Interpolation (computer graphics)","level":3,"score":0.5461748838424683},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.5447956919670105},{"id":"https://openalex.org/C136170076","wikidata":"https://www.wikidata.org/wiki/Q181296","display_name":"Abelian group","level":2,"score":0.5368922352790833},{"id":"https://openalex.org/C29001434","wikidata":"https://www.wikidata.org/wiki/Q8084","display_name":"Trigonometry","level":2,"score":0.5163946747779846},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4996476173400879},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.4466276466846466},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.42051684856414795},{"id":"https://openalex.org/C200741047","wikidata":"https://www.wikidata.org/wiki/Q1957758","display_name":"Integrable system","level":2,"score":0.41171592473983765},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4037069082260132},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.3874947726726532},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3325366675853729},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.21470025181770325},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.1574365496635437},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.08663678169250488},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.0},{"id":"https://openalex.org/C104114177","wikidata":"https://www.wikidata.org/wiki/Q79782","display_name":"Motion (physics)","level":2,"score":0.0},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1145/3637550","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3637550","pdf_url":null,"source":{"id":"https://openalex.org/S163326656","display_name":"ACM Transactions on Mathematical Software","issn_l":"0098-3500","issn":["0098-3500","1557-7295"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Mathematical Software","raw_type":"journal-article"},{"id":"pmh:oai:HAL:hal-03561096v1","is_oa":true,"landing_page_url":"https://hal.science/hal-03561096","pdf_url":"https://hal.science/hal-03561096/document","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ISSN: 0098-3500","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:lilloa.univ-lille.fr:20.500.12210/59889","is_oa":true,"landing_page_url":"http://hdl.handle.net/20.500.12210/59889","pdf_url":null,"source":{"id":"https://openalex.org/S4306402203","display_name":"LillOA (Universit\u00e9 de Lille (University Of Lille))","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210123514","host_organization_name":"Centre d'Etudes en Civilisations, Langues et Litt\u00e9ratures Etrang\u00e8res","host_organization_lineage":["https://openalex.org/I4210123514"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/workingPaper"},{"id":"pmh:oai:lilloa.univ-lille.fr:20.500.12210/93367","is_oa":true,"landing_page_url":"http://hdl.handle.net/20.500.12210/93367","pdf_url":null,"source":{"id":"https://openalex.org/S4306402203","display_name":"LillOA (Universit\u00e9 de Lille (University Of Lille))","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210123514","host_organization_name":"Centre d'Etudes en Civilisations, Langues et Litt\u00e9ratures Etrang\u00e8res","host_organization_lineage":["https://openalex.org/I4210123514"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/review"}],"best_oa_location":{"id":"pmh:oai:HAL:hal-03561096v1","is_oa":true,"landing_page_url":"https://hal.science/hal-03561096","pdf_url":"https://hal.science/hal-03561096/document","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ISSN: 0098-3500","raw_type":"info:eu-repo/semantics/article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1415606103","display_name":null,"funder_award_id":"ANR-20-CE48-0014","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G2149291320","display_name":null,"funder_award_id":"VR-2018-04265","funder_id":"https://openalex.org/F4320322581","funder_display_name":"Vetenskapsr\u00e5det"},{"id":"https://openalex.org/G2402987151","display_name":null,"funder_award_id":"ANR-20-CE","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G2726473892","display_name":null,"funder_award_id":"ANR-11-IDEX-0007","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G3335229504","display_name":null,"funder_award_id":"Avenir","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G3584739849","display_name":null,"funder_award_id":"ANR-10-LABX-0070","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G4866930200","display_name":null,"funder_award_id":"ANR-11-IDEX","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G5549440890","display_name":null,"funder_award_id":"ANR-10-LAB","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G5701317573","display_name":null,"funder_award_id":"11-IDEX-0007","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G6494969328","display_name":null,"funder_award_id":"ANR-10-LABX-0070","funder_id":"https://openalex.org/F4320326804","funder_display_name":"Universit\u00e9 de Lyon"},{"id":"https://openalex.org/G712881263","display_name":null,"funder_award_id":"2018-","funder_id":"https://openalex.org/F4320322581","funder_display_name":"Vetenskapsr\u00e5det"},{"id":"https://openalex.org/G7211054625","display_name":null,"funder_award_id":"ANR-11-IDEX-0007","funder_id":"https://openalex.org/F4320326804","funder_display_name":"Universit\u00e9 de Lyon"},{"id":"https://openalex.org/G7240651115","display_name":null,"funder_award_id":"ANR-10","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G7823808512","display_name":null,"funder_award_id":"ANR-11-IDEX-000","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G8080935424","display_name":null,"funder_award_id":"unknown","funder_id":"https://openalex.org/F4320322581","funder_display_name":"Vetenskapsr\u00e5det"},{"id":"https://openalex.org/G8917127843","display_name":null,"funder_award_id":"LABEX","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"}],"funders":[{"id":"https://openalex.org/F4320313934","display_name":"Institut national de recherche en informatique et en automatique (INRIA)","ror":"https://ror.org/02kvxyf05"},{"id":"https://openalex.org/F4320320883","display_name":"Agence Nationale de la Recherche","ror":"https://ror.org/00rbzpz17"},{"id":"https://openalex.org/F4320322581","display_name":"Vetenskapsr\u00e5det","ror":"https://ror.org/03zttf063"},{"id":"https://openalex.org/F4320324119","display_name":"Uppsala Universitet","ror":"https://ror.org/048a87296"},{"id":"https://openalex.org/F4320326804","display_name":"Universit\u00e9 de Lyon","ror":"https://ror.org/01rk35k63"}],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W4221147081.pdf"},"referenced_works_count":49,"referenced_works":["https://openalex.org/W285242605","https://openalex.org/W1508641834","https://openalex.org/W1525446462","https://openalex.org/W1695477354","https://openalex.org/W1906421350","https://openalex.org/W1952380081","https://openalex.org/W1967788039","https://openalex.org/W1975422833","https://openalex.org/W1981833819","https://openalex.org/W1998126423","https://openalex.org/W1998798933","https://openalex.org/W2014575142","https://openalex.org/W2023794945","https://openalex.org/W2028468639","https://openalex.org/W2032307207","https://openalex.org/W2048562977","https://openalex.org/W2052155732","https://openalex.org/W2054872603","https://openalex.org/W2068403757","https://openalex.org/W2075764562","https://openalex.org/W2075832873","https://openalex.org/W2081699720","https://openalex.org/W2087442477","https://openalex.org/W2100905858","https://openalex.org/W2116055501","https://openalex.org/W2120575449","https://openalex.org/W2122714111","https://openalex.org/W2132761025","https://openalex.org/W2141553359","https://openalex.org/W2152401606","https://openalex.org/W2158223566","https://openalex.org/W2163112186","https://openalex.org/W2547900440","https://openalex.org/W2552835512","https://openalex.org/W2803799276","https://openalex.org/W2906506220","https://openalex.org/W2924017186","https://openalex.org/W2941010932","https://openalex.org/W2942214986","https://openalex.org/W2963850438","https://openalex.org/W2964005412","https://openalex.org/W2964243816","https://openalex.org/W3039948875","https://openalex.org/W3093182962","https://openalex.org/W3105866591","https://openalex.org/W3149233748","https://openalex.org/W4206505436","https://openalex.org/W4230445183","https://openalex.org/W4294962874"],"related_works":["https://openalex.org/W2044787408","https://openalex.org/W4249228129","https://openalex.org/W4394650907","https://openalex.org/W4394635378","https://openalex.org/W2019140719","https://openalex.org/W155593081","https://openalex.org/W3104927070","https://openalex.org/W1506619710","https://openalex.org/W4254119641","https://openalex.org/W2738038633"],"abstract_inverted_index":{"Abelian":[0,49],"integrals":[1,50],"play":[2],"a":[3,23,43,52,77],"key":[4,83],"role":[5],"in":[6,26,51,76],"the":[7],"infinitesimal":[8],"version":[9],"of":[10,55],"Hilbert\u2019s":[11],"16th":[12],"problem.":[13,32],"Being":[14],"able":[15],"to":[16,73,84],"evaluate":[17],"such":[18],"integrals\u2014with":[19],"guaranteed":[20],"error":[21],"bounds\u2014is":[22],"fundamental":[24],"step":[25],"computer-aided":[27,88],"proofs":[28],"aimed":[29],"at":[30],"this":[31],"Using":[33],"interpolation":[34],"by":[35],"trigonometric":[36],"polynomials":[37],"and":[38,71],"quasi-Newton-Kantorovitch":[39],"validation,":[40],"we":[41],"develop":[42],"validated":[44],"numerics":[45],"method":[46],"for":[47],"computing":[48],"quasi-linear":[53],"number":[54],"arithmetic":[56],"operations.":[57],"Our":[58],"approach":[59],"is":[60,82],"both":[61],"effective,":[62],"as":[63],"exemplified":[64],"on":[65],"two":[66],"practical":[67],"perturbed":[68],"integrable":[69],"systems,":[70],"amenable":[72],"an":[74],"implementation":[75],"formal":[78],"proof":[79],"assistant,":[80],"which":[81],"provide":[85],"fully":[86],"reliable":[87],"proofs.":[89]},"counts_by_year":[{"year":2024,"cited_by_count":1}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}