{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,10]],"date-time":"2026-07-10T03:12:40Z","timestamp":1783653160157,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":42,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,7,8]],"date-time":"2019-07-08T00:00:00Z","timestamp":1562544000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100008952","name":"Agence Nationale de la Recherche","doi-asserted-by":"publisher","award":["ANR-14-CE25-0018-01"],"award-info":[{"award-number":["ANR-14-CE25-0018-01"]}],"id":[{"id":"10.13039\/501100008952","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,7,8]]},"DOI":"10.1145\/3326229.3326262","type":"proceedings-article","created":{"date-parts":[[2019,7,9]],"date-time":"2019-07-09T12:53:20Z","timestamp":1562676800000},"page":"259-266","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Computing the Volume of Compact Semi-Algebraic Sets"],"prefix":"10.1145","author":[{"given":"Pierre","family":"Lairez","sequence":"first","affiliation":[{"name":"Inria, Saclay, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Marc","family":"Mezzarobba","sequence":"additional","affiliation":[{"name":"Sorbonne Universit\u00e9, CNRS, Paris, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mohab","family":"Safey El Din","sequence":"additional","affiliation":[{"name":"Sorbonne Universit\u00e9, CNRS, Inria, Paris, France"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2019,7,8]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2010.08.010"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/235809.235813"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/1197095"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","unstructured":"M. Beeler R. W. Gosper and R. Schroeppel. 1972. Hakmem . AI Memo 239. MIT Artificial Intelligence Laboratory.","DOI":"10.5555\/889211"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2465506.2465935"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3275242"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/49142"},{"key":"e_1_3_2_1_8_1","volume-title":"Diagonales de fractions rationnelles et \u00e9quations de Picard-Fuchs. Groupe de travail d'analyse ultram\u00e9trique","author":"Christol G.","year":"1985","unstructured":"G. Christol. 1985. Diagonales de fractions rationnelles et \u00e9quations de Picard-Fuchs. Groupe de travail d'analyse ultram\u00e9trique, Vol. 12, 1 (1985)."},{"key":"e_1_3_2_1_9_1","volume-title":"CA, 1986). Lecture Notes in Pure and Appl. Math.","volume":"125","author":"Chudnovsky D. V.","unstructured":"D. V. Chudnovsky and G. V. Chudnovsky. 1990. Computer algebra in the service of mathematical physics and number theory. Computers in mathematics (Stanford, CA, 1986). Lecture Notes in Pure and Appl. Math., Vol. 125. Dekker, 109--232."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0012-365X(99)00259-9"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/646589.697342"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.2307\/2374846"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1137\/0217060"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/102782.102783"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02684807"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","unstructured":"D. Henrion J.-B. Lasserre and C. Savorgnan. 2009. Approximate volume and integration for basic semialgebraic sets. SIAM review Vol. 51 4 (2009) 722--743. 10.1137\/080730287","DOI":"10.1137\/080730287"},{"key":"e_1_3_2_1_17_1","volume-title":"Ordinary differential equations in the complex domain","author":"Hille E.","year":"1997","unstructured":"E. Hille. 1976. Ordinary differential equations in the complex domain .Wiley. Dover reprint, 1997."},{"key":"e_1_3_2_1_18_1","volume-title":"Actes du Congr\u00e8s International des Math\u00e9maticiens (Nice","author":"Katz N. M.","year":"1971","unstructured":"N. M. Katz. 1971. The regularity theorem in algebraic geometry. Actes du Congr\u00e8s International des Math\u00e9maticiens (Nice, 1970), Tome 1 . Gauthier-Villars, 437--443."},{"key":"e_1_3_2_1_19_1","first-page":"199","article-title":"The problem of computing the volume of polytopes is NP-hard","volume":"44","author":"Khachiyan L.","year":"1989","unstructured":"L. Khachiyan. 1989. The problem of computing the volume of polytopes is NP-hard. Uspekhi Mat. Nauk, Vol. 44, 3 (1989), 199--200.","journal-title":"Uspekhi Mat. Nauk"},{"key":"e_1_3_2_1_20_1","volume-title":"Complexity of polytope","author":"Khachiyan L.","unstructured":"L. Khachiyan. 1993. Complexity of polytope volume computation. New trends in discrete and computational geometry. Springer, 91--101."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/PL00009496"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/795662.796299"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"crossref","unstructured":"M. Kontsevich and D. Zagier. 2001. Periods. Mathematics unlimited . Springer 771--808.","DOI":"10.1007\/978-3-642-56478-9_39"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11590-017-1186-x"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11786-010-0055-0"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1090\/mcom\/3054"},{"key":"e_1_3_2_1_27_1","volume-title":"III). Bulletin de la Soci\u00e9t\u00e9 math\u00e9matique de France","author":"Leray J.","year":"1959","unstructured":"J. Leray. 1959. Le calcul diff\u00e9rentiel et int\u00e9gral sur une vari\u00e9t\u00e9 analytique complexe (Probl\u00e8me de Cauchy, III). Bulletin de la Soci\u00e9t\u00e9 math\u00e9matique de France, Vol. 87 (1959), 81--180."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1016\/0021-8693(88)90166-4"},{"key":"e_1_3_2_1_29_1","unstructured":"M. Mezzarobba. 2011. Autour de l'\u00e9valuation num\u00e9rique des fonctions D-finies . Th\u00e8se de doctorat. \u00c9cole polytechnique."},{"key":"e_1_3_2_1_30_1","unstructured":"M. Mezzarobba. 2016. Rigorous multiple-precision evaluation of D-finite functions in SageMath . (2016). arxiv: 1607.01967"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.2307\/2373603"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2012.05.004"},{"key":"e_1_3_2_1_33_1","volume-title":"Singularities of integrals: homology, hyperfunctions and microlocal analysis","author":"Pham F.","unstructured":"F. Pham. 2011. Singularities of integrals: homology, hyperfunctions and microlocal analysis .Springer ; EDP Sciences."},{"key":"e_1_3_2_1_34_1","volume-title":"Comptes rendus hebdomadaires des s\u00e9ances de l'Acad\u00e9mie des sciences","author":"Picard E.","unstructured":"E. Picard. 1902. Sur les p\u00e9riodes des int\u00e9grales doubles et sur une classe d'\u00e9quations diff\u00e9rentielles lin\u00e9aires. In Comptes rendus hebdomadaires des s\u00e9ances de l'Acad\u00e9mie des sciences, Vol. 134. Gauthier-Villars, 69--71."},{"key":"e_1_3_2_1_35_1","volume-title":"Introduction to the theory of linear differential equations","author":"Poole E. G. C.","unstructured":"E. G. C. Poole. 1936. Introduction to the theory of linear differential equations .Clarendon Press."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/860854.860901"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/2996450"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1137\/090772459"},{"key":"e_1_3_2_1_39_1","volume-title":"A decision method for elementary algebra and geometry. Quantifier elimination and cylindrical algebraic decomposition","author":"Tarski A.","unstructured":"A. Tarski. 1998. A decision method for elementary algebra and geometry. Quantifier elimination and cylindrical algebraic decomposition. Springer, 24--84."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.2000.0474"},{"key":"e_1_3_2_1_41_1","unstructured":"J. Viu-Sos. 2015-09-03. A semi-canonical reduction for periods of Kontsevich-Zagier. (2015-09-03). arxiv: 1509.01097"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","unstructured":"J. von zur Gathen and J. Gerhard. 1999. Modern computer algebra .Cambridge University Press .","DOI":"10.5555\/304952"}],"event":{"name":"ISSAC '19: International Symposium on Symbolic and Algebraic Computation","location":"Beijing China","acronym":"ISSAC '19","sponsor":["SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"]},"container-title":["Proceedings of the 2019 International Symposium on Symbolic and Algebraic Computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3326229.3326262","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3326229.3326262","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:25:59Z","timestamp":1750206359000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3326229.3326262"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,7,8]]},"references-count":42,"alternative-id":["10.1145\/3326229.3326262","10.1145\/3326229"],"URL":"https:\/\/doi.org\/10.1145\/3326229.3326262","relation":{},"subject":[],"published":{"date-parts":[[2019,7,8]]},"assertion":[{"value":"2019-07-08","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}