{"id":"https://openalex.org/W2942214986","doi":"https://doi.org/10.1145/3326229.3326262","title":"Computing the Volume of Compact Semi-Algebraic Sets","display_name":"Computing the Volume of Compact Semi-Algebraic Sets","publication_year":2019,"publication_date":"2019-07-08","ids":{"openalex":"https://openalex.org/W2942214986","doi":"https://doi.org/10.1145/3326229.3326262","mag":"2942214986"},"language":"en","primary_location":{"id":"doi:10.1145/3326229.3326262","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3326229.3326262","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2019 International Symposium on Symbolic and Algebraic Computation","raw_type":"proceedings-article"},"type":"preprint","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1904.11705","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5043305689","display_name":"Pierre Lairez","orcid":"https://orcid.org/0000-0003-3756-0151"},"institutions":[{"id":"https://openalex.org/I4210126360","display_name":"Centre Inria de Saclay","ror":"https://ror.org/0315e5x55","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1326498283","https://openalex.org/I4210126360"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Pierre Lairez","raw_affiliation_strings":["Inria, Saclay, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Inria, Saclay, France","institution_ids":["https://openalex.org/I4210126360"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5086621994","display_name":"Marc Mezzarobba","orcid":null},"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/I39804081","display_name":"Sorbonne Universit\u00e9","ror":"https://ror.org/02en5vm52","country_code":"FR","type":"education","lineage":["https://openalex.org/I39804081"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Marc Mezzarobba","raw_affiliation_strings":["Sorbonne Universit\u00e9, CNRS, Paris, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Sorbonne Universit\u00e9, CNRS, Paris, France","institution_ids":["https://openalex.org/I39804081","https://openalex.org/I1294671590"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5048254079","display_name":"Mohab Safey El Din","orcid":"https://orcid.org/0000-0001-9463-1257"},"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/I39804081","display_name":"Sorbonne Universit\u00e9","ror":"https://ror.org/02en5vm52","country_code":"FR","type":"education","lineage":["https://openalex.org/I39804081"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Mohab Safey El Din","raw_affiliation_strings":["Sorbonne Universit\u00e9, CNRS, Inria, Paris, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Sorbonne Universit\u00e9, CNRS, Inria, Paris, France","institution_ids":["https://openalex.org/I39804081","https://openalex.org/I1294671590"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.3494,"has_fulltext":false,"cited_by_count":12,"citation_normalized_percentile":{"value":0.82547599,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"125","issue":null,"first_page":"259","last_page":"266"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11435","display_name":"Polynomial and algebraic computation","score":0.9998000264167786,"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.9998000264167786,"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/T11245","display_name":"Advanced Numerical Analysis Techniques","score":0.9815999865531921,"subfield":{"id":"https://openalex.org/subfields/2206","display_name":"Computational Mechanics"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"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.977400004863739,"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/mathematics","display_name":"Mathematics","score":0.7199052572250366},{"id":"https://openalex.org/keywords/polynomial","display_name":"Polynomial","score":0.598919153213501},{"id":"https://openalex.org/keywords/exponential-function","display_name":"Exponential function","score":0.5348773002624512},{"id":"https://openalex.org/keywords/algebraic-number","display_name":"Algebraic number","score":0.48913079500198364},{"id":"https://openalex.org/keywords/algebraic-function","display_name":"Algebraic function","score":0.4875468611717224},{"id":"https://openalex.org/keywords/prime","display_name":"Prime (order theory)","score":0.45342186093330383},{"id":"https://openalex.org/keywords/rational-function","display_name":"Rational function","score":0.44179368019104004},{"id":"https://openalex.org/keywords/solution-set","display_name":"Solution set","score":0.440212607383728},{"id":"https://openalex.org/keywords/algebraic-equation","display_name":"Algebraic equation","score":0.4237765669822693},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4127596616744995},{"id":"https://openalex.org/keywords/applied-mathematics","display_name":"Applied mathematics","score":0.3880141079425812},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.37555864453315735},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.2200758457183838},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.204382061958313},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.14672929048538208},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.13025310635566711},{"id":"https://openalex.org/keywords/nonlinear-system","display_name":"Nonlinear system","score":0.10357537865638733}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7199052572250366},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.598919153213501},{"id":"https://openalex.org/C151376022","wikidata":"https://www.wikidata.org/wiki/Q168698","display_name":"Exponential function","level":2,"score":0.5348773002624512},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.48913079500198364},{"id":"https://openalex.org/C148607811","wikidata":"https://www.wikidata.org/wiki/Q746863","display_name":"Algebraic function","level":3,"score":0.4875468611717224},{"id":"https://openalex.org/C184992742","wikidata":"https://www.wikidata.org/wiki/Q7243229","display_name":"Prime (order theory)","level":2,"score":0.45342186093330383},{"id":"https://openalex.org/C75190567","wikidata":"https://www.wikidata.org/wiki/Q41237","display_name":"Rational function","level":2,"score":0.44179368019104004},{"id":"https://openalex.org/C60033838","wikidata":"https://www.wikidata.org/wiki/Q1751685","display_name":"Solution set","level":3,"score":0.440212607383728},{"id":"https://openalex.org/C23917780","wikidata":"https://www.wikidata.org/wiki/Q50698","display_name":"Algebraic equation","level":3,"score":0.4237765669822693},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4127596616744995},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.3880141079425812},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.37555864453315735},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.2200758457183838},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.204382061958313},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.14672929048538208},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.13025310635566711},{"id":"https://openalex.org/C158622935","wikidata":"https://www.wikidata.org/wiki/Q660848","display_name":"Nonlinear system","level":2,"score":0.10357537865638733},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3326229.3326262","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3326229.3326262","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2019 International Symposium on Symbolic and Algebraic Computation","raw_type":"proceedings-article"},{"id":"pmh:oai:arXiv.org:1904.11705","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1904.11705","pdf_url":"https://arxiv.org/pdf/1904.11705","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1904.11705","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1904.11705","pdf_url":"https://arxiv.org/pdf/1904.11705","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G130760658","display_name":"Singularities and Stability of Sensor-based controllers","funder_award_id":"ANR-18-CE33-0011","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G1558722870","display_name":"Games through the lens of ALgebra and geometry of OPtimization","funder_award_id":"ANR-17-CE40-0009","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G1933860433","display_name":null,"funder_award_id":"ANR-14-CE25-0018-01","funder_id":"https://openalex.org/F4320325505","funder_display_name":"Agence Nationale pour le D\u00e9veloppement de la Recherche Universitaire"},{"id":"https://openalex.org/G5293329413","display_name":"Fast Reliable Approximation","funder_award_id":"ANR-14-CE25-0018","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"}],"funders":[{"id":"https://openalex.org/F4320320883","display_name":"Agence Nationale de la Recherche","ror":"https://ror.org/00rbzpz17"},{"id":"https://openalex.org/F4320325505","display_name":"Agence Nationale pour le D\u00e9veloppement de la Recherche Universitaire","ror":null}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":44,"referenced_works":["https://openalex.org/W85287489","https://openalex.org/W199933080","https://openalex.org/W579057096","https://openalex.org/W1489298643","https://openalex.org/W1510451047","https://openalex.org/W1516027685","https://openalex.org/W1562183207","https://openalex.org/W1585998846","https://openalex.org/W1969407837","https://openalex.org/W1987679122","https://openalex.org/W2027384932","https://openalex.org/W2032125006","https://openalex.org/W2047105695","https://openalex.org/W2052784918","https://openalex.org/W2055088712","https://openalex.org/W2063342497","https://openalex.org/W2064131066","https://openalex.org/W2082238794","https://openalex.org/W2083013659","https://openalex.org/W2104223485","https://openalex.org/W2111734814","https://openalex.org/W2113904971","https://openalex.org/W2129936432","https://openalex.org/W2135134285","https://openalex.org/W2151549243","https://openalex.org/W2160312889","https://openalex.org/W2253069152","https://openalex.org/W2274018604","https://openalex.org/W2279788372","https://openalex.org/W2318653117","https://openalex.org/W2332011727","https://openalex.org/W2336768427","https://openalex.org/W2480140521","https://openalex.org/W2488327632","https://openalex.org/W2500231551","https://openalex.org/W2561467839","https://openalex.org/W2601313044","https://openalex.org/W2640923064","https://openalex.org/W3102050191","https://openalex.org/W3105373387","https://openalex.org/W3109153776","https://openalex.org/W3123452453","https://openalex.org/W3217399827","https://openalex.org/W4242941774"],"related_works":["https://openalex.org/W3133701171","https://openalex.org/W4313533203","https://openalex.org/W2001445586","https://openalex.org/W2128714185","https://openalex.org/W3008555607","https://openalex.org/W2140371602","https://openalex.org/W4389336948","https://openalex.org/W2792012667","https://openalex.org/W2613238744","https://openalex.org/W2368516066"],"abstract_inverted_index":{"Let":[0],"S\\subset":[1],"\\bR^n":[2],"be":[3],"a":[4,30,116],"compact":[5],"basic":[6],"semi-algebraic":[7,61],"set":[8,14],"defined":[9],"as":[10,28],"the":[11,42,56,74,105,120,124,142,146],"real":[12],"solution":[13],"of":[15,45,60,65,71,78,82,89,118,123,145],"multivariate":[16],"polynomial":[17,31,140],"inequalities":[18],"with":[19,99],"rational":[20,66],"coefficients.":[21],"We":[22],"design":[23],"an":[24,36],"algorithm":[25,53,93],"which":[26],"takes":[27],"input":[29],"system":[32],"defining":[33],"S":[34,46],"and":[35,40,63,85,131,139],"integer":[37],"p\\geq":[38],"0":[39],"returns":[41],"n-dimensional":[43],"volume":[44],"at":[47],"absolute":[48],"precision":[49],"2^-p":[50],".":[51],"Our":[52],"relies":[54],"on":[55],"relationship":[57],"between":[58],"volumes":[59],"sets":[62],"periods":[64],"integrals.":[67],"It":[68],"makes":[69],"use":[70],"algorithms":[72],"computing":[73,128],"Picard-Fuchs":[75,129],"differential":[76,90],"equation":[77],"appropriate":[79],"periods,":[80],"properties":[81],"critical":[83,132],"points,":[84],"high-precision":[86],"numerical":[87],"integration":[88],"equations.":[91],"The":[92],"runs":[94],"in":[95,137,141],"essentially":[96],"linear":[97],"time":[98],"respect":[100],"to~p.":[101],"This":[102],"improves":[103],"upon":[104],"previous":[106],"exponential":[107,136],"bounds":[108],"obtained":[109],"by":[110],"Monte-Carlo":[111],"or":[112],"moment-based":[113],"methods.":[114],"Assuming":[115],"conjecture":[117],"Dimca,":[119],"arithmetic":[121],"cost":[122],"algebraic":[125],"subroutines":[126],"for":[127],"equations":[130],"points":[133],"is":[134],"singly":[135],"n":[138],"maximum":[143],"degree":[144],"input.":[147]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":3}],"updated_date":"2026-07-10T07:45:09.275182","created_date":"2025-10-10T00:00:00"}