{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,10]],"date-time":"2026-07-10T03:12:04Z","timestamp":1783653124932,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":28,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,7,23]],"date-time":"2017-07-23T00:00:00Z","timestamp":1500768000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,7,23]]},"DOI":"10.1145\/3087604.3087641","type":"proceedings-article","created":{"date-parts":[[2017,7,19]],"date-time":"2017-07-19T20:02:15Z","timestamp":1500494535000},"page":"413-420","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["CAD Adjacency Computation Using Validated Numerics"],"prefix":"10.1145","author":[{"given":"Adam","family":"Strzebo\u0144ski","sequence":"first","affiliation":[{"name":"Wolfram Research Inc., Champaign, IL, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2017,7,23]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(88)80011-7"},{"key":"e_1_3_2_1_2_1","first-page":"55","article-title":"Computing roadmaps of semi-algebraic sets on a variety","volume":"3","author":"Basu S.","year":"1999","unstructured":"S. Basu, R. Pollack, and M.F. Roy. 1999. Computing roadmaps of semi-algebraic sets on a variety. Journal of the AMS 3 (1999), 55--82.","journal-title":"Journal of the AMS"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","unstructured":"S. Basu R. Pollack and M.F. Roy. 2006. Algorithms in real algebraic geometry. Vol. 10. Springer-Verlag New York Inc.","DOI":"10.5555\/1197095"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"crossref","unstructured":"J. Bochnak M. Coste and M.F. Roy. 1998. Real Algebraic Geometry. Springer.","DOI":"10.1007\/978-3-662-03718-8"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/49142"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"crossref","unstructured":"B. Caviness and J. Johnson (Eds.). 1998. Quantifier Elimination and Cylindrical Algebraic Decomposition. Springer Verlag New York.","DOI":"10.1007\/978-3-7091-9459-1"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1576702.1576718"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/646589.697342"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00454-009-9239-2"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"crossref","unstructured":"A. Dolzmann T. Sturm and V. Weispfenning. 1998. Real Quantifier Elimination in Practice. In Algorithmic Algebra and Number Theory. Springer 221--247.","DOI":"10.1007\/978-3-642-59932-3_11"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(88)80005-1"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2011.05.014"},{"key":"e_1_3_2_1_13_1","unstructured":"S. \u0141ojasiewicz. 1964. Ensembles semi-analytiques. I.H.E.S."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/36.5.450"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(88)80010-5"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/646660.700988"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.2001.0499"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.2002.0531"},{"key":"e_1_3_2_1_19_1","unstructured":"M. Petkovic and L. Petkowic. 1998. Complex Interval Arithmetic and Its Applications. Wiley-VCH."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(10)80003-3"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/0196-8858(83)90014-3"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2015.11.018"},{"key":"e_1_3_2_1_23_1","unstructured":"A. Strzebonski. 2014. Divide-And-Conquer Computation of Cylindrical Algebraic Decomposition. (2014). arXiv 1402.0622."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2015.11.018"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"crossref","unstructured":"A. Strzebonski. 2017. CAD Adjacency Computation Using Validated Numerics. (2017). arXiv 1704.06856.","DOI":"10.1145\/3087604.3087641"},{"key":"e_1_3_2_1_26_1","volume-title":"A decision method for elementary algebra and geometry","author":"Tarski A.","unstructured":"A. Tarski. 1951. A decision method for elementary algebra and geometry. University of California Press."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/s002000050055"},{"key":"e_1_3_2_1_28_1","unstructured":"D. Wilson. 2012. Real Geometry and Connectedness via Triangular Description: CAD Example Bank. (2012). http:\/\/opus.bath.ac.uk\/29503\/."}],"event":{"name":"ISSAC '17: International Symposium on Symbolic and Algebraic Computation","location":"Kaiserslautern Germany","acronym":"ISSAC '17","sponsor":["SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"]},"container-title":["Proceedings of the 2017 ACM International Symposium on Symbolic and Algebraic Computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3087604.3087641","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3087604.3087641","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:30:14Z","timestamp":1750217414000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3087604.3087641"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,7,23]]},"references-count":28,"alternative-id":["10.1145\/3087604.3087641","10.1145\/3087604"],"URL":"https:\/\/doi.org\/10.1145\/3087604.3087641","relation":{},"subject":[],"published":{"date-parts":[[2017,7,23]]},"assertion":[{"value":"2017-07-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}