{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,16]],"date-time":"2024-08-16T11:12:33Z","timestamp":1723806753335},"reference-count":18,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2021,1,4]],"date-time":"2021-01-04T00:00:00Z","timestamp":1609718400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,4]],"date-time":"2021-01-04T00:00:00Z","timestamp":1609718400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Found Comput Math"],"published-print":{"date-parts":[[2021,10]]},"DOI":"10.1007\/s10208-020-09483-8","type":"journal-article","created":{"date-parts":[[2021,1,4]],"date-time":"2021-01-04T23:02:48Z","timestamp":1609801368000},"page":"1279-1316","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Computing the Homology of Semialgebraic Sets. II: General Formulas"],"prefix":"10.1007","volume":"21","author":[{"given":"Peter","family":"B\u00fcrgisser","sequence":"first","affiliation":[]},{"given":"Felipe","family":"Cucker","sequence":"additional","affiliation":[]},{"given":"Josu\u00e9","family":"Tonelli-Cueto","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,1,4]]},"reference":[{"issue":"1","key":"9483_CR1","first-page":"5:1","volume":"66","author":"P B\u00fcrgisser","year":"2018","unstructured":"P.\u00a0B\u00fcrgisser, F.\u00a0Cucker, and P.\u00a0Lairez. Computing the homology of basic semialgebraic sets in weak exponential time. J.\u00a0ACM, 66(1):5:1\u20135:30, 2018.","journal-title":"J. ACM"},{"key":"9483_CR2","doi-asserted-by":"crossref","unstructured":"P.\u00a0B\u00fcrgisser, F.\u00a0Cucker, and J.\u00a0Tonelli-Cueto. Computing the Homology of Semialgebraic Sets. I: Lax Formulas. Foundations of Computational Mathematics, 20(1):71\u2013118, 2020. On-line from May of 2019.","DOI":"10.1007\/s10208-019-09418-y"},{"key":"9483_CR3","doi-asserted-by":"crossref","unstructured":"P.\u00a0B\u00fcrgisser and F.\u00a0Cucker. Condition, volume 349 of Grundlehren der mathematischen Wissenschaften. Springer, Berlin, 2013.","DOI":"10.1007\/978-3-642-38896-5"},{"key":"9483_CR4","doi-asserted-by":"crossref","unstructured":"G.\u00a0Collins. Quantifier elimination for real closed fields by cylindrical algebraic decomposition, pages 134\u2013183. Lecture Notes in Comput. Sci., Vol. 33. Springer, Berlin, 1975.","DOI":"10.1007\/3-540-07407-4_17"},{"key":"9483_CR5","doi-asserted-by":"publisher","first-page":"582","DOI":"10.1016\/j.jco.2008.03.001","volume":"24","author":"F Cucker","year":"2008","unstructured":"F. Cucker, T. Krick, G. Malajovich, and M. Wschebor. A numerical algorithm for zero counting I: Complexity and accuracy. J. Complexity, 24:582\u2013605, 2008.","journal-title":"J. Complexity"},{"key":"9483_CR6","doi-asserted-by":"publisher","first-page":"929","DOI":"10.1007\/s10208-017-9358-8","volume":"18","author":"F Cucker","year":"2018","unstructured":"F.\u00a0Cucker, T.\u00a0Krick, and M.\u00a0Shub. Computing the Homology of Real Projective Sets. Found. Comput. Math., 18:929\u2013970, 2018.","journal-title":"Found. Comput. Math."},{"key":"9483_CR7","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1007\/s10208-018-9380-5","volume":"19","author":"A Erg\u00fcr","year":"2019","unstructured":"A.\u00a0Erg\u00fcr, G.\u00a0Paouris, and J.\u00a0Rojas. Probabilistic condition number estimates for real polynomial systems I: A broader family of distributions. Found. Comput. Math., 19:131\u2013157, 2019.","journal-title":"Found. Comput. Math."},{"issue":"1","key":"9483_CR8","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1112\/jlms\/jdp006","volume":"80","author":"A Gabrielov","year":"2009","unstructured":"A.\u00a0Gabrielov and N.\u00a0Vorobjov. Approximation of definable sets by compact families, and upper bounds on homotopy and homology. J. Lond. Math. Soc., 80(1):35\u201354, 2009.","journal-title":"J. Lond. Math. Soc. (2)"},{"key":"9483_CR9","doi-asserted-by":"crossref","unstructured":"C.\u00a0Gibson, K.\u00a0Wirthm\u00fcller, A.\u00a0du\u00a0Plessis, and E.\u00a0Looijenga. Topological stability of smooth mappings. Lecture Notes in Mathematics, Vol. 552. Springer, Berlin-New York, 1976.","DOI":"10.1007\/BFb0095244"},{"key":"9483_CR10","volume-title":"Algebraic topology","author":"A Hatcher","year":"2002","unstructured":"A.\u00a0Hatcher. Algebraic topology. Cambridge University Press, Cambridge, 2002."},{"issue":"4","key":"9483_CR11","doi-asserted-by":"publisher","first-page":"475","DOI":"10.1090\/S0273-0979-2012-01383-6","volume":"49","author":"J Mather","year":"2012","unstructured":"J.\u00a0Mather. Notes on topological stability. Bull. Amer. Math. Soc. (NS), 49(4):475\u2013506, 2012.","journal-title":"Bull. Amer. Math. Soc. (N.S.)"},{"issue":"1\u20133","key":"9483_CR12","doi-asserted-by":"publisher","first-page":"419","DOI":"10.1007\/s00454-008-9053-2","volume":"39","author":"P Niyogi","year":"2008","unstructured":"P.\u00a0Niyogi, S.\u00a0Smale, and S.\u00a0Weinberger. Finding the homology of submanifolds with high confidence from random samples. Discrete Comput. Geom., 39(1-3):419\u2013441, 2008.","journal-title":"Discrete Comput. Geom."},{"issue":"2","key":"9483_CR13","doi-asserted-by":"publisher","first-page":"719","DOI":"10.1137\/15M1022513","volume":"54","author":"V Noferini","year":"2016","unstructured":"V.\u00a0Noferini and A.\u00a0Townsend. Numerical instability of resultant methods for multidimensional rootfinding. SIAM J. Numer. Anal., 54(2):719\u2013743, 2016.","journal-title":"SIAM J. Numer. Anal."},{"key":"9483_CR14","doi-asserted-by":"crossref","unstructured":"J.\u00a0Schwartz and M.\u00a0Sharir. On the \u201cpiano movers\u201d problem. II. General techniques for computing topological properties of real algebraic manifolds. Adv. in Appl. Math., 4(3):298\u2013351, 1983.","DOI":"10.1016\/0196-8858(83)90014-3"},{"key":"9483_CR15","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1137\/0733008","volume":"33","author":"M Shub","year":"1996","unstructured":"M.\u00a0Shub and S.\u00a0Smale. Complexity of B\u00e9zout\u2019s Theorem IV: probability of success; extensions. SIAM J. of Numer. Anal., 33:128\u2013148, 1996.","journal-title":"SIAM J. of Numer. Anal."},{"key":"9483_CR16","doi-asserted-by":"crossref","unstructured":"S.\u00a0Smale. Newton\u2019s method estimates from data at one point. In R.\u00a0Ewing, K.\u00a0Gross, and C.\u00a0Martin, editors, The Merging of Disciplines: New Directions in Pure, Applied, and Computational Mathematics, pages 185\u2013196. Springer, 1986.","DOI":"10.1007\/978-1-4612-4984-9_13"},{"key":"9483_CR17","doi-asserted-by":"publisher","unstructured":"J.\u00a0Tonelli-Cueto. Condition and Homology in Semialgebraic Geometry. Doctoral thesis, Technische Universit\u00e4t Berlin, DepositOnce Repository, Dec. 2019. https:\/\/doi.org\/10.14279\/depositonce-9453.","DOI":"10.14279\/depositonce-9453"},{"key":"9483_CR18","doi-asserted-by":"crossref","unstructured":"H.\u00a0W\u00fcthrich. Ein Entscheidungsverfahren f\u00fcr die Theorie der reell-abgeschlossenen K\u00f6rper. In E.\u00a0Specker and V.\u00a0Strassen, editors, Komplexit\u00e4t von Entscheidungsproblemen, volume\u00a043 of Lect. Notes in Comp. Sci., pages 138\u2013162. Springer, 1976.","DOI":"10.1007\/3-540-07805-3_10"}],"container-title":["Foundations of Computational Mathematics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10208-020-09483-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10208-020-09483-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10208-020-09483-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,10]],"date-time":"2022-12-10T13:53:43Z","timestamp":1670680423000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10208-020-09483-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,1,4]]},"references-count":18,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2021,10]]}},"alternative-id":["9483"],"URL":"https:\/\/doi.org\/10.1007\/s10208-020-09483-8","relation":{},"ISSN":["1615-3375","1615-3383"],"issn-type":[{"value":"1615-3375","type":"print"},{"value":"1615-3383","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,1,4]]},"assertion":[{"value":"26 March 2019","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"24 June 2020","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"29 October 2020","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"4 January 2021","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}