{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T02:04:26Z","timestamp":1760061866037,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":67,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,7,20]],"date-time":"2016-07-20T00:00:00Z","timestamp":1468972800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["ACI-1460032"],"award-info":[{"award-number":["ACI-1460032"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000183","name":"Army Research Office","doi-asserted-by":"publisher","award":["Army Young Investigator Program"],"award-info":[{"award-number":["Army Young Investigator Program"]}],"id":[{"id":"10.13039\/100000183","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000879","name":"Alfred P. Sloan Foundation","doi-asserted-by":"publisher","award":["Sloan Research Fellowship"],"award-info":[{"award-number":["Sloan Research Fellowship"]}],"id":[{"id":"10.13039\/100000879","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2016,7,20]]},"DOI":"10.1145\/2930889.2930910","type":"proceedings-article","created":{"date-parts":[[2016,7,19]],"date-time":"2016-07-19T11:59:33Z","timestamp":1468929573000},"page":"143-150","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["Validating the Completeness of the Real Solution Set of a System of Polynomial Equations"],"prefix":"10.1145","author":[{"given":"Daniel A.","family":"Brake","sequence":"first","affiliation":[{"name":"University of Notre Dame, Notre Dame, IN, USA"}]},{"given":"Jonathan D.","family":"Hauenstein","sequence":"additional","affiliation":[{"name":"University of Notre Dame, Notre Dame, IN, USA"}]},{"suffix":"Jr.","given":"Alan C.","family":"Liddell","sequence":"additional","affiliation":[{"name":"University of Notre Dame, Notre Dame, IN, USA"}]}],"member":"320","published-online":{"date-parts":[[2016,7,20]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.2002.0563"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/PL00004896"},{"key":"e_1_3_2_1_3_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"246","DOI":"10.1007\/978-3-662-44199-2_39","volume-title":"Mathematical Software -- ICMS","author":"Bates D.J.","year":"2014"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"crossref","first-page":"619","DOI":"10.1016\/j.amc.2013.12.165","article-title":"Comparison of probabilistic algorithms for analyzing the components of an affine algebraic variety","volume":"231","author":"Bates D.J.","year":"2014","journal-title":"Appl. Math. Comput."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1080\/10586458.2013.737640"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1137\/08073264X"},{"volume-title":"SIAM","year":"2013","author":"Bates D.J.","key":"e_1_3_2_1_7_1"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-2752-6_1"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0378-4754(96)00033-X"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10208-013-9143-2"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11075-012-9646-y"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","unstructured":"L. Blum M. Shub and S. Smale. On a theory of computation and complexity over the real numbers: $ np$-completeness recursive functions and universal machines. Bulletin (New Series) of the American Mathematical Society 21(1):1--46 1989. L. Blum M. Shub and S. Smale. On a theory of computation and complexity over the real numbers: $ np$-completeness recursive functions and universal machines. Bulletin (New Series) of the American Mathematical Society 21(1):1--46 1989.","DOI":"10.1090\/S0273-0979-1989-15750-9"},{"key":"e_1_3_2_1_13_1","unstructured":"J. Bochnak M. Coste and M.-F. Roy . Real algebraic geometry volume 36 of Ergebnisse der Mathematik und ihrer Grenzgebiete (3) {Results in Mathematics and Related Areas (3)} . Springer-Verlag Berlin 1998 . Translated from the 1987 French original Revised by the authors. J. Bochnak M. Coste and M.-F. Roy. Real algebraic geometry volume 36 of Ergebnisse der Mathematik und ihrer Grenzgebiete (3) {Results in Mathematics and Related Areas (3)}. Springer-Verlag Berlin 1998. Translated from the 1987 French original Revised by the authors."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-44199-2_29"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-32859-1_9"},{"key":"e_1_3_2_1_16_1","first-page":"103","volume-title":"Proceedings of Symposia in Pure mathematics","volume":"58","author":"Choi M.-D.","year":"1995"},{"volume-title":"John Wiley & Sons","year":"2013","author":"Chong E.K.P.","key":"e_1_3_2_1_17_1"},{"key":"e_1_3_2_1_18_1","unstructured":"D. Cifuentes and P.A. Parrilo. Sampling algebraic varieties for sum of squares programs. arXiv:1511.06751 2015. D. Cifuentes and P.A. Parrilo. Sampling algebraic varieties for sum of squares programs. arXiv:1511.06751 2015."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1073884.1073902"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1063\/1.1436470"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevE.60.R5009"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(88)80040-3"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1137\/0718011"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1137\/0720050"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1515\/advgeom-2015-0004"},{"key":"e_1_3_2_1_26_1","series-title":"Springer Proc","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1007\/978-1-4939-0626-0_6","volume-title":"Connections between algebra, combinatorics, and geometry","author":"Griffin Z.A.","year":"2014"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10440-012-9782-3"},{"key":"e_1_3_2_1_28_1","unstructured":"J.D. Hauenstein and Sommese A.J. What is numerical algebraic geometry? J. Symb. Comput. To appear. J.D. Hauenstein and Sommese A.J. What is numerical algebraic geometry? J. Symb. Comput. To appear."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2608628.2608651"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2015.07.001"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2755996.2756645"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.amc.2011.06.004"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/2331130.2331136"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10208-013-9147-y"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2011.08.020"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/29380.29862"},{"key":"e_1_3_2_1_37_1","unstructured":"C.T. Kelley . Iterative methods for optimization volume 18 of Frontiers in Applied Mathematics . Society for Industrial and Applied Mathematics (SIAM) Philadelphia PA 1999 . C.T. Kelley. Iterative methods for optimization volume 18 of Frontiers in Applied Mathematics. Society for Industrial and Applied Mathematics (SIAM) Philadelphia PA 1999."},{"volume-title":"SIAM","year":"2003","author":"Kelley C.T.","key":"e_1_3_2_1_38_1"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1007\/3-540-54522-0_108","volume-title":"Applied algebra, algebraic algorithms and error-correcting codes","author":"Krick T.","year":"1991"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2012.03.007"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.5555\/3115443.3115594"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2009.03.024"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-09686-5_6"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1007\/978-1-4614-0769-0_2","volume-title":"Handbook on Semidefinite, Conic and Polynomial Optimization","author":"Laurent M.","year":"2012"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1109\/ALLERTON.2015.7447029"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2006.02.018"},{"key":"e_1_3_2_1_47_1","series-title":"Contemporary Mathematics","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1090\/conm\/448\/08665","volume-title":"Algebra, Geometry and their Interactions","author":"Lu Y.","year":"2007"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1109\/59.260891"},{"volume-title":"Journal of Symbolic Computation","year":"2014","author":"Ma Y.","key":"e_1_3_2_1_49_1"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"crossref","unstructured":"M. Marshall . Positive polynomials and sums of squares volume 146 of Mathematical Surveys and Monographs . American Mathematical Society Providence RI 2008 . M. Marshall. Positive polynomials and sums of squares volume 146 of Mathematical Surveys and Monographs. American Mathematical Society Providence RI 2008.","DOI":"10.1090\/surv\/146"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1063\/1.4896657"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1063\/1.4921163"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevE.85.061103"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-4049(96)00103-X"},{"key":"e_1_3_2_1_55_1","unstructured":"A. Papachristodoulou J. Anderson G. Valmorbida S. Prajna P. Seiler and P.A. Parrilo. SOSTOOLS: Sum of squares optimization toolbox for MATLAB. http:\/\/arxiv.org\/abs\/1310.4716 2013. Available from http:\/\/www.eng.ox.ac.uk\/control\/sostools http:\/\/www.cds.caltech.edu\/sostools andtexttthttp:\/\/www.mit.edu\/parrilo\/sostools. A. Papachristodoulou J. Anderson G. Valmorbida S. Prajna P. Seiler and P.A. Parrilo. SOSTOOLS: Sum of squares optimization toolbox for MATLAB. http:\/\/arxiv.org\/abs\/1310.4716 2013. Available from http:\/\/www.eng.ox.ac.uk\/control\/sostools http:\/\/www.cds.caltech.edu\/sostools andtexttthttp:\/\/www.mit.edu\/parrilo\/sostools."},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1006\/jcom.2000.0563"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/860854.860901"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.2307\/1969640"},{"volume-title":"University of Mannheim","year":"2002","author":"Seiler W.","key":"e_1_3_2_1_59_1"},{"volume-title":"Springer","year":"1986","author":"Smale S.","key":"e_1_3_2_1_60_1"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1006\/jcom.2000.0554"},{"key":"e_1_3_2_1_62_1","series-title":"Lectures in Appl","first-page":"749","volume-title":"The mathematics of numerical analysis (Park City","author":"Sommese A.J.","year":"1995"},{"volume-title":"World Scientific Publishing Co. Pte. Ltd.","year":"2005","author":"Sommese A.J.","key":"e_1_3_2_1_63_1"},{"volume-title":"Technische Universitat Kaiserslautern","year":"2007","author":"Spang S.J.","key":"e_1_3_2_1_64_1"},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01362149"},{"key":"e_1_3_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.2002.0572"},{"key":"e_1_3_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02879061"}],"event":{"name":"ISSAC '16: International Symposium on Symbolic and Algebraic Computation","sponsor":["SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"],"location":"Waterloo ON Canada","acronym":"ISSAC '16"},"container-title":["Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2930889.2930910","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2930889.2930910","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2930889.2930910","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:55:48Z","timestamp":1750222548000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2930889.2930910"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,7,20]]},"references-count":67,"alternative-id":["10.1145\/2930889.2930910","10.1145\/2930889"],"URL":"https:\/\/doi.org\/10.1145\/2930889.2930910","relation":{},"subject":[],"published":{"date-parts":[[2016,7,20]]},"assertion":[{"value":"2016-07-20","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}