{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T19:00:12Z","timestamp":1730314812883,"version":"3.28.0"},"publisher-location":"New York, NY, USA","reference-count":31,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2009,7,28]]},"DOI":"10.1145\/1576702.1576729","type":"proceedings-article","created":{"date-parts":[[2009,7,28]],"date-time":"2009-07-28T12:45:28Z","timestamp":1248785128000},"page":"183-190","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Variant real quantifier elimination"],"prefix":"10.1145","author":[{"given":"Hoon","family":"Hong","sequence":"first","affiliation":[{"name":"North Carolina State University, Raleigh NC, USA and Korea Institute for Advanced Studies Seoul, Korea"}]},{"given":"Mohab","family":"Safey El Din","sequence":"additional","affiliation":[{"name":"Universit\u00e9 Pierre et Marie Curie Paris 06\/INRIA Paris-Rocquencourt, Paris, France"}]}],"member":"320","published-online":{"date-parts":[[2009,7,28]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/646881.710601"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/235809.235813"},{"issue":"1","key":"e_1_3_2_1_3_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 . Computing roadmaps of semi-algebraic sets on a variety . Journal of the AMS , 3 ( 1 ): 55 -- 82 , 1999 . S. Basu, R. Pollack, and M.-F Roy. Computing roadmaps of semi-algebraic sets on a variety. Journal of the AMS, 3(1):55--82, 1999.","journal-title":"Journal of the AMS"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/1197095"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.2001.0463"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/36.5.504"},{"volume-title":"Quantifier elimination for real closed fields by cylindrical algebraic decomposition. Lecture notes in computer science, 33:515--532","year":"1975","author":"Collins G. E.","key":"e_1_3_2_1_7_1","unstructured":"G. E. Collins . Quantifier elimination for real closed fields by cylindrical algebraic decomposition. Lecture notes in computer science, 33:515--532 , 1975 . G. E. Collins. Quantifier elimination for real closed fields by cylindrical algebraic decomposition. Lecture notes in computer science, 33:515--532, 1975."},{"volume-title":"Texts and Monographs in Symbolic Computation","year":"1998","author":"Collins G. E.","key":"e_1_3_2_1_8_1","unstructured":"G. E. Collins . Quantifier Elimination and Cylindrical Algebraic Decomposition , chapter Quantifier elimination by cylindrical algebraic decomposition - 20 years of progress. Texts and Monographs in Symbolic Computation . Springer-Verlag , 1998 . G. E. Collins. Quantifier Elimination and Cylindrical Algebraic Decomposition, chapter Quantifier elimination by cylindrical algebraic decomposition - 20 years of progress. Texts and Monographs in Symbolic Computation. Springer-Verlag, 1998."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01231331"},{"key":"e_1_3_2_1_10_1","unstructured":"J.-C. Faugère. FGb. http:\/\/fgbrs.lip6.fr. J.-C. Faugère. FGb. http:\/\/fgbrs.lip6.fr."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1390768.1390782"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(88)80006-3"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/800141.804674"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02253461"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1997.0121"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/36.5.497"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/309831.309892"},{"volume-title":"OpenCAD. package","year":"2007","author":"Moroz G.","key":"e_1_3_2_1_19_1","unstructured":"G. Moroz and F. Rouillier . OpenCAD. package , 2007 . G. Moroz and F. Rouillier. OpenCAD. package, 2007."},{"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","unstructured":"F. Rouillier. RS RealSolving. http:\/\/fgbrs.lip6.fr. F. Rouillier. RS RealSolving. http:\/\/fgbrs.lip6.fr."},{"volume-title":"MEGA","year":"2005","author":"Din M. Safey El","key":"e_1_3_2_1_22_1","unstructured":"M. Safey El Din . Finding sampling points on real hypersurfaces in easier in singular situations . In MEGA , 2005 . M. Safey El Din. Finding sampling points on real hypersurfaces in easier in singular situations. In MEGA, 2005."},{"key":"e_1_3_2_1_23_1","unstructured":"M. Safey El Din. RAGLib (Real Algebraic Geometry Library) Maple package. http:\/\/www-salsa.lip6.fr\/~safey\/RAGLib 2007. M. Safey El Din. RAGLib (Real Algebraic Geometry Library) Maple package. http:\/\/www-salsa.lip6.fr\/~safey\/RAGLib 2007."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11786-007-0003-9"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1390768.1390781"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/860854.860901"},{"volume-title":"A baby steps\/giant steps monte carlo algorithm for computing roadmaps in smooth compact real hypersurfaces","year":"2009","author":"Din M. Safey El","key":"e_1_3_2_1_27_1","unstructured":"M. Safey El Din and É. Schost. A baby steps\/giant steps monte carlo algorithm for computing roadmaps in smooth compact real hypersurfaces , 2009 . M. Safey El Din and É. Schost. A baby steps\/giant steps monte carlo algorithm for computing roadmaps in smooth compact real hypersurfaces, 2009."},{"volume-title":"Basic Algebraic Geometry 1","year":"1977","author":"Shafarevich I.","key":"e_1_3_2_1_28_1","unstructured":"I. Shafarevich . Basic Algebraic Geometry 1 . Springer Verlag , 1977 . I. Shafarevich. Basic Algebraic Geometry 1. Springer Verlag, 1977."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2006.06.004"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-57201-2_28"},{"volume-title":"ADG","year":"1996","author":"Sturm T.","key":"e_1_3_2_1_31_1","unstructured":"T. Sturm and V. Weispfenning . Computational geometry problems in redlog . In ADG , 1996 . T. Sturm and V. Weispfenning. Computational geometry problems in redlog. In ADG, 1996."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"crossref","DOI":"10.1525\/9780520348097","volume-title":"A decision method for elementary algebra and geometry","author":"Tarski A.","year":"1951","unstructured":"A. Tarski . A decision method for elementary algebra and geometry . University of California Press , 1951 . A. Tarski. A decision method for elementary algebra and geometry. University of California Press, 1951."}],"event":{"name":"ISSAC '09: International Symposium on Symbolic and Algebraic Computation","sponsor":["ACM Association for Computing Machinery","SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"],"location":"Seoul Republic of Korea","acronym":"ISSAC '09"},"container-title":["Proceedings of the 2009 international symposium on Symbolic and algebraic computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1576702.1576729","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,11]],"date-time":"2023-01-11T19:37:34Z","timestamp":1673465854000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1576702.1576729"}},"subtitle":["algorithm and application"],"short-title":[],"issued":{"date-parts":[[2009,7,28]]},"references-count":31,"alternative-id":["10.1145\/1576702.1576729","10.1145\/1576702"],"URL":"https:\/\/doi.org\/10.1145\/1576702.1576729","relation":{},"subject":[],"published":{"date-parts":[[2009,7,28]]},"assertion":[{"value":"2009-07-28","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}