{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T02:39:59Z","timestamp":1778294399869,"version":"3.51.4"},"reference-count":13,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,9]]},"DOI":"10.1109\/synasc.2010.91","type":"proceedings-article","created":{"date-parts":[[2011,2,18]],"date-time":"2011-02-18T14:12:11Z","timestamp":1298038331000},"page":"4-7","source":"Crossref","is-referenced-by-count":2,"title":["Connectivity in Semi-algebraic Sets"],"prefix":"10.1109","author":[{"family":"Hoon Hong","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","author":"neumaier","year":"1990","journal-title":"Interval Methods for Systems of Equations"},{"key":"ref11","article-title":"A baby steps\/giant steps probabilistic algorithm for computing roadmaps in smooth bounded real hypersurfaces","author":"safey","year":"0","journal-title":"Discrete and Computational Geometry to appear"},{"key":"ref12","author":"schwartz","year":"1987","journal-title":"Planning Geometry and Complexity of Robot Motion"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.2307\/1970311"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/BF01200148"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/36.5.504"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-2628-4_28"},{"key":"ref5","author":"hammer","year":"1995","journal-title":"C++ Toolbox for Verified Computing"},{"key":"ref8","author":"monagan","year":"0","journal-title":"Maple 6 Programming Guide"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511546877"},{"key":"ref2","author":"canny","year":"1987","journal-title":"The Complexity of Robot Motion Planning"},{"key":"ref1","first-page":"55","article-title":"Computing roadmaps of semi-algebraic sets on a variety","volume":"3","author":"basu","year":"1999","journal-title":"Journal of the AMS"},{"key":"ref9","author":"moore","year":"0","journal-title":"Introduction to Interval Analysis SIAM 2009"}],"event":{"name":"12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2010)","location":"Timisoara","start":{"date-parts":[[2010,9,23]]},"end":{"date-parts":[[2010,9,26]]}},"container-title":["2010 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing"],"original-title":[],"link":[{"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/xplorestaging.ieee.org\/ielx5\/5714592\/5715259\/05715261.pdf?arnumber=5715261","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T03:53:07Z","timestamp":1490068387000},"score":1,"resource":{"primary":{"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/ieeexplore.ieee.org\/document\/5715261\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,9]]},"references-count":13,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1109\/synasc.2010.91","relation":{},"subject":[],"published":{"date-parts":[[2010,9]]}}}