{“id”:“https://openalex.org/W4221147081“,”doi“:”https://doi.org/10.1145/3637550“,”title“:”Abelian积分的有效和验证数值计算“,”display_name“:”Avelian积分有效和验证的数值计算“;”publication_year“:2024,”publication_date“:”2024-03-16“,”ids“:{”openalex“:”https://openalex.org/W4221147081“,”doi“:”https://doi.org/10.1145/3637550“},”language“:”en“,”primary_location“:{”is_oa“:false,”landing_page_url“:”https://doi.org/10.1145/3637550“,”pdf_url“:空,”源“:{”id“:”https://openalex.org/S163326656“,”display_name“:”数学软件上的ACM事务“,”issn_l“:”0098-3500“,”isn“:[”00983500“,”1557-7295“],”is_oa“:false,”is_ in_doaj“:false,”host_organization“:”https://openalex.org/P431031798“,”“host_organization_name”:“计算机协会”,“host_ordanization_lineage”:[“https://openalex.org/P431031798“],”host_organization_lineage_names“:[”Association for Computing Machinery“],“type”:“journal”},“license”:null,“licence_id”:null,“version”:null,“is_accepted”:false,“is_published”:false},”type“:”article“,”type_crossref“:“jounal-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“:”第一“,”作者“:{”id“:”https://openalex.org/A5061149420“,”display_name“:”Florent Br\u00e9hard“,”orcid“:”https://orcid.org/0000-0003-3909-1999},“机构”:[{“id”:https://openalex.org/I4210115519“,”display_name“:”信息研究中心“,”ror“:”https://ror.org/020cdve92“,”“country_code”“:”FR“,”type“:”facility“,”lineage“:[”https://openalex.org/I190752583","https://openalex.org/I4210091621","https://openalex.org/I4210115519","https://openalex.org/I70768539“]}],”国家“:[”FR“],”is_corresponding“:false,”raw_author_name“:”Florent Br\u00e9hard“,”raw _affiliation_strings“:[“信息中心,里尔信号与自动化-UMR 9189”],”从属关系“:[{”raw_affiliation_string“:”信息中心,里尔信号与自动-UMR 911“,”institution_ids“:[https://openalex.org/I4210115519“]}]},{”author_position“:”middle“,”author“:{”id“:”https://openalex.org/A5058275399“,”display_name“:”Nicolas Brisebarre“,”orcid“:null},”institutions“:[{”id“:”https://openalex.org/I4210144566“,”display_name“:”Parall\u00e9lisme信息实验室“,”ror“:”网址:https://ror.org/04msnz457“,”“country_code”“:”FR“,”type“:”facility“,”lineage“:[”https://openalex.org/I100532134","https://openalex.org/I113428412","https://openalex.org/I1294671590","https://openalex.org/I203339264","https://openalex.org/I4210144566","https://openalex.org/I4210159245“]}],”countries“:[”FR“],”is_corresponding“:false,”raw_author_name“:”Nicolas Brisebarre“,”raw _ afiliation_strings“:【”Arithm\u00e9tiques des ordinators,m\u00 e9thodes formelles,g\u00e 9n\u00e9 ration de code“,”Laboratoire de l'Informatique du Parall\u 00e9lisme“】,”afiliations“:[{”raw_ afiliation _string“:”Parall\u00e9lisme信息实验室“,“institution_ids”:[“https://openalex.org/I4210144566“]},{”raw_affiliation_string“:”Arithm\u00e9tiques des ordinators,m\u001e9thodes formelles,g\u00e 9n\u00e9 ration de code“,”institution_ids“:[]}]}“,{“author_position”:“middle”,“author”:{“id”:“https://openalex.org/A5084830779“,”display_name“:”Mioara Jolde\u015f“,”orcid“:null}“,”institutions“:[],”countries“:[],”is_corresponding“:false,”raw_author_name“,”Mioana Jolde_u015f“,”raw _affiliation_strings“:【”\u00c9quipe Rechercheche Op\u00e9rationnelle,Optimization Combinatorie et Contraintes“】,”afliations“:\u00c9quipe Recherche Op\u00e9rationnelle,优化组合与约束”,“机构id”:[]}]},{“author_position”:“last”,“author”:{“id”:“https://openalex.org/A5028372442“,”display_name“:”Warwick Tucker“,”orcid“:”https://orcid.org/0000-0001-9888-944X“},”机构“:[],”国家“:[”非盟“],”is_corresponding“:false,”raw_author_name“:”沃里克塔克“,”raw _ afiliation_strings“:[“数学院[澳大利亚]”],”附属机构“:[{”raw _affiliation_strong“:”数学院[澳洲]“,”机构id“:[]}],”countries_distiction_count“:2,”corresponding_author_ids“:[],”correspondg_institute_ids“:[],”apc_list“:null,”apc_payed“:null,”fwci“:null,”has_fulltext“:true,”fulltext_origin“:”pdf“,”cited_by_count“:0,”cited_by_percentle_year“:{“min”:0,”max“:91},”biblio“:{”volume“:”50“,”issue“:”1“,”first_page“:”1“,”last_page“:”38“},”is_retract ed“:false,”is_paratext“:false,”primary_topic“:{”id“:”https://openalex.org/T11435“,”“display_name”:“代数几何和密码学中的符号计算”,“score”:0.9991,“subfield”:{“id”:“https://openalex.org/subfields/1703“,”display_name“:”计算理论与数学“},”字段“:{”id“:”https://openalex.org/fields/17“,”display_name“:”Computer Science“},”domain“:{”id“:”https://openalex.org/domains/3“,”display_name“:”物理科学“}},”主题“:[{”id“:”https://openalex.org/T11435“,”“display_name”:“代数几何和密码学中的符号计算”,“score”:0.9991,“subfield”:{“id”:“https://openalex.org/subfields/1703“,”display_name“:”计算理论与数学“},”字段“:{”id“:”https://openalex.org/fields/17“,”display_name“:”Computer Science“},”domain“:{”id“:”https://openalex.org/domains/3“,”display_name“:”物理科学“}},{”id“:”https://openalex.org/T11697“,”“display_name”:“科学计算中的浮点运算”,“score”:0.9984,“subfield”:{“id”:“https://openalex.org/subfields/1703“,”display_name“:”计算理论与数学“},”字段“:{”id“:”https://openalex.org/fields/17“,”display_name“:”Computer Science“},”domain“:{”id“:”https://openalex.org/domains/3“,”display_name“:”物理科学“}},{”id“:”https://openalex.org/T12396“,”“display_name”:“平面多项式系统中的分歧”,“score”:0.9947,“subfield”:{“id”:“https://openalex.org/subfields/2608“,”display_name“:”几何和拓扑“},”字段“:{”id“:”https://openalex.org/fields/26“,”display_name“:”Mathematics“},”domain“:{”id“:”https://openalex.org/domains/3“,”display_name“:”物理科学“}}],”关键词“:[{”id“:”https://openalex.org/keywords/abelian-integrals网站“,”display_name“:”阿贝尔积分“,”score“:0.622895},{”id“:”https://openalex.org/keywords/numerical-verification-methods网站“,”“display_name”:“数值验证方法”,“score”:0.512812},{“id”:“https://openalex.org/keywords/accuracy-guaranteed-bit-width-optimization网站“,”display_name“:”准确保证位宽优化“,”score“:0.512344},{”id“:”https://openalex.org/keywords/高精度计算“,”display_name“:”高精度计算“,”score“:0.512272},{”id“:”https://openalex.org/keywords/symbolic-computing网站“,”display_name“:”符号计算“,”score“:0.502853}],”concepts“:[{”id“:”https://openalex.org/C108710211,“wikidata”:https://www.wikidata.org/wiki/Q11538“,”display_name“:”数学证明“,”level“:2,”score“:0.6494045},{”id“:”https://openalex.org/C137800194,“wikidata”:https://www.wikidata.org/wiki/Q11713455“,”display_name“:”插值(计算机图形)“,”level“:3,”score“:0.5461749},{”id“:”https://openalex.org/C136119220,“wikidata”:https://www.wikidata.org/wiki/Q1000660“,”“display_name”“:”“域上的代数”“,”level“:2,”score“:0.5447957},{”id“:”https://openalex.org/C136170076,“wikidata”:https://www.wikidata.org/wiki/Q181296“,”display_name“:”Abelian group“,”level“:2,”score“:0.53689224},{”id“:”https://openalex.org/C2901434,“wikidata”:https://www.wikidata.org/wiki/Q8084“,”display_name“:”三角测量“,”level“:2,”score“:0.5163947},{”id“:”https://openalex.org/C33923547,“wikidata”:https://www.wikidata.org/wiki/Q395“,”display_name“:”数学“,”等级“:0,”分数“:0.49964762},{”id“:”https://openalex.org/C28826006,“wikidata”:https://www.wikidata.org/wiki/Q33521“,”display_name“:”应用数学“,”level“:1,”score“:0.44662765},{”id“:”https://openalex.org/C26517878,“wikidata”:https://www.wikidata.org/wiki/Q228039“,”display_name“:”Key(lock)“,”level“:2,”score“:0.42051685},{”id“:”https://openalex.org/C200741047,“wikidata”:https://www.wikidata.org/wiki/Q1957758“,”display_name“:”可积系统“,”level“:2,”score“:0.41171592},{”id“:”https://openalex.org/C41008148,“wikidata”:https://www.wikidata.org/wiki/Q21198“,”display_name“:”计算机科学“,”level“:0,”score“:0.4037069},{”id“:”https://openalex.org/C2777686260,“wikidata”:https://www.wikidata.org/wiki/Q144037“,”“display_name”“:”“微积分(牙科)”“,”级别“:2,”分数“:0.38749477},{”id“:”https://openalex.org/C11413529,“wikidata”:https://www.wikidata.org/wiki/Q8366“,”display_name“:”Algorithm“,”level“:1,”score“:0.33253667},{”id“:”https://openalex.org/C202444582,“wikidata”:https://www.wikidata.org/wiki/Q837863“,”display_name“:”纯数学“,”level“:1,”score“:0.21470025},{”id“:”https://openalex.org/C134306372,“wikidata”:https://www.wikidata.org/wiki/Q7754“,”display_name“:”数学分析“,”level“:1,”score“:0.15743655},{”id“:”https://openalex.org/C154945302,“wikidata”:https://www.wikidata.org/wiki/Q11660“,”display_name“:”人工智能“,”level“:1,”score“:0.08663678},{”id“:”https://openalex.org/C104114177,“wikidata”:https://www.wikidata.org/wiki/Q79782“,”display_name“:”运动(物理)“,”level“:2,”score“:0.0},{”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“:”计算机安全“,”level“:1,”score“:0.0},{”id“:”https://openalex.org/C199343813,“wikidata”:https://www.wikidata.org/wiki/Q12128“,”display_name“:”牙科“,”level“:1,”score“:0.0}],”mesh“:[],”locations_count“:3,”location“:[{”is_oa“:false,”landing_page_url“:”https://doi.org/10.1145/3637550“,”pdf_url“:空,”源“:{”id“:”https://openalex.org/S163326656“,”display_name“:”数学软件上的ACM事务“,”issn_l“:”0098-3500“,”isn“:[”00983500“,”1557-7295“],”is_oa“:false,”is_ in_doaj“:false,”host_organization“:”https://openalex.org/P431031798“,”“host_organization_name”:“计算机协会”,“host_ordanization_lineage”:[“https://openalex.org/P431031798“],”host_organization_lineage_names“:[”Association for Computing Machinery“],“type”:“journal”},“license”:null,“licence_id”:null,“version”:null,“is_accepted”:false,“is_published”:false},{“is_oa”:true,“landing_page_url”:“https://hal.science/hal-03561096,“pdf_url”:https://hal.science/hal-03561096/document,“源”:{“id”:https://openalex.org/S4306402512“,”display_name“:”HAL(通信科学指导中心)“,”issn_l“:null,”issn“:nul,”is_oa“:true,”is-in_doaj“:false,”host_organization“:”https://openalex.org/I1294671590“,”“host_organization_name”:“法国国家科学研究中心”,“host_ordanization_lineage”:[“https://openalex.org/I1294671590“],”host_organization_lineage_names“:[”法国国家科学研究中心“],“type”:“repository”},“license”:“cc-by”,“licence_id”:“https://openalex.org/licenses/cc-by“,”version“:”submittedVersion“,”is_accepted“:false,”is_published“:false},{”is_oa“:true,”landing_page_url“:”https://hal.archives-ouvertes.fr/hal-03561096/document,“pdf_url”:https://hal.archives-ouvertes.fr/hal-03561096/document,“源”:{“id”:https://openalex.org/S4306402512“,”display_name“:”HAL(通信科学指导中心)“,”issn_l“:null,”issn“:nul,”is_oa“:true,”is-in_doaj“:false,”host_organization“:”https://openalex.org/I1294671590“,”“host_organization_name”:“法国国家科学研究中心”,“host_ordanization_lineage”:[“https://openalex.org/I1294671590“],”host_organization_lineage_names“:[”法国国家科学研究中心“],“type”:“repository”},“license”:“cc-by”,“licence_id”:“https://openalex.org/licenses/cc-by“,”version“:”submittedVersion“,”is_accepted“:false,”is_published“:false}],”best_oa_location“:{”is_oa“:true,”landing_page_url“:”https://hal.science/hal-03561096,“pdf_url”:https://hal.science/hal-03561096/document,“源”:{“id”:https://openalex.org/S4306402512“,”display_name“:”HAL(通信科学指导中心)“,”issn_l“:null,”issn“:nul,”is_oa“:true,”is-in_doaj“:false,”host_organization“:”https://openalex.org/I1294671590“,”“host_organization_name”:“法国国家科学研究中心”,“host_ordanization_lineage”:[“https://openalex.org/I1294671590“],”host_organization_lineage_names“:[”法国国家科学研究中心“],“type”:“repository”},“license”:“cc-by”,“licence_id”:“https://openalex.org/licenses/cc-by“,”version“:”submittedVersion“,”is_accepted“:false,”is_published“:false},”sustainable_development_goals“:[],”grants“:{”funder“:”https://openalex.org/F4320320883“,”“funder_display_name”:“国家税务局”,“award_id”:“ANR-11-IDEX-0007”},{“funder”:“https://openalex.org/F4320322581“,”funder_display_name“:”Vetenskapsr\u00e5det“,”award_id“:”VR-2018-04265“}],”datasets“:[],”versions“:[],”referenced_works_count“:47,”referrenced_works“:[”https://openalex.org/W1508641834","https://openalex.org/W1525446462","https://openalex.org/W1695477354","https://openalex.org/W1906421350","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/W2048562977","https://openalex.org/W2052155732","https://openalex.org/W2054872603","https://openalex.org/W2063106369","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/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/W285242605","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/W3103602523","https://openalex.org/W3105866591","https://openalex.org/W3149233748","https://openalex.org/W4206505436","https://openalex.org/W4230445183","https://openalex.org/W4294962874","https://openalex.org/W4298392963“],”related_works“:[”https://openalex.org/W4394650907","https://openalex.org/W4394635378","https://openalex.org/W4254119641","https://openalex.org/W4249228129","https://openalex.org/W3104927070","https://openalex.org/W2738038633","https://openalex.org/W2044787408","https://openalex.org/W2019140719","https://openalex.org/W155593081","https://openalex.org/W1506619710“],”ngrams_url“:”https://api.openalex.org/works/W4221147081/ngrams“,”“abstract_inverted_index”:{“Abelian”:[0,49],“integrations”:[1,50],“play”:[2],“a”:[3,23,43,52,77],“key”:[4,83],“role”:[5],“in”:[6,26,51,76],“the”:[7],“infinimpersimal”:[08],“version”:[9],“of”:[10,55],“Hilbert\u2019s”:[11],“16th”:[12],“problem”:[13,35]。2],“Being”:[14],“able”:[15],“to”:[16,73,84],“evaluate”:[17],“such”:[18],“integrations\u2014with”:[19]保证”:[20],“误差”:[21],“界限\u2014is”:[22],“基本”:[24],“步骤”:[25],“计算机辅助”:[27,8],“证明”:[28],“瞄准”:[29],“在”:[30],“这个”:[31],“使用”:[33],“插值”:[34],“由”:[35],“三角”:[36],“多项式”:[37],“和”:[38,71],“拟牛顿-坎托罗维奇”:[39],“验证,“:[40],”我们“:[41],”开发“:[42],”验证“:[44],”numerics“:[45],”method“:[46],”for“:[47],”computing“:[48],”quasi-linear“:[53],”number“:[54],”算术“:[56],”运算。“:[57],“我们的”:[58],“方法”:[59],“是”:[60,82],“两者”:[61],“有效”,:[62],“作为”:[63],“例证”:[64],“on”:[65],“两个”:[66],“实用”:[67],“扰动”:[68],“可积”:[69],“系统”:[70],“顺从”:[72],“an”:[74],“实现”:[75],“形式”:[78],“证明”:[79],“助理”:[80],“其中”:[81],“提供”:[85],“完全”:[86],“可靠”:[87],“证据。“:[89]},”cited_by_api_url“:”https://api.openalex.org/works?filter=cites:W4221147081“,”counts_by_year“:[],”updated_date“:”2024-06-24T11:07:09.526669“,”created_date:“2022-04-03”}“