{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:31:03Z","timestamp":1750307463396,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":31,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,7,25]],"date-time":"2010-07-25T00:00:00Z","timestamp":1280016000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000143","name":"Division of Computing and Communication Foundations","doi-asserted-by":"publisher","award":["CCF-0830347CCF-0514585DMS-0532140OISE-0913588"],"award-info":[{"award-number":["CCF-0830347CCF-0514585DMS-0532140OISE-0913588"]}],"id":[{"id":"10.13039\/100000143","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000089","name":"Office of International Science and Engineering","doi-asserted-by":"publisher","award":["CCF-0830347CCF-0514585DMS-0532140OISE-0913588"],"award-info":[{"award-number":["CCF-0830347CCF-0514585DMS-0532140OISE-0913588"]}],"id":[{"id":"10.13039\/100000089","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000121","name":"Division of Mathematical Sciences","doi-asserted-by":"publisher","award":["CCF-0830347CCF-0514585DMS-0532140OISE-0913588"],"award-info":[{"award-number":["CCF-0830347CCF-0514585DMS-0532140OISE-0913588"]}],"id":[{"id":"10.13039\/100000121","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["60821002\/F026091113036910871194"],"award-info":[{"award-number":["60821002\/F026091113036910871194"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2010,7,25]]},"DOI":"10.1145\/1837934.1837979","type":"proceedings-article","created":{"date-parts":[[2010,7,27]],"date-time":"2010-07-27T14:10:11Z","timestamp":1280239811000},"page":"227-234","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Computing the radius of positive semidefiniteness of a multivariate real polynomial via a dual of Seidenberg's method"],"prefix":"10.1145","author":[{"given":"Sharon","family":"Hutton","sequence":"first","affiliation":[{"name":"NCSU Raleigh, North Carolina"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Erich L.","family":"Kaltofen","sequence":"additional","affiliation":[{"name":"NCSU Raleigh, North Carolina"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lihong","family":"Zhi","sequence":"additional","affiliation":[{"name":"Key Laboratory of Mathematics Mechanization, AMSS, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2010,7,25]]},"reference":[{"doi-asserted-by":"publisher","key":"e_1_3_2_1_1_1","DOI":"10.1006\/jsco.2002.0563"},{"doi-asserted-by":"crossref","unstructured":"Becker E. Powers V. and \n      W\u00f6rmann T\n  . \n  Deciding positivity of real polynomials\n  . In Real Algebraic Geometry and Ordered Structures C. N. Delzell and J. J. Madden Eds. vol. \n  253\n   of \n  Contemporary Math\n  . \n  AMS 2000 pp. \n  251\n  --\n  272\n  .  Becker E. Powers V. and W\u00f6rmann T. Deciding positivity of real polynomials. In Real Algebraic Geometry and Ordered Structures C. N. Delzell and J. J. Madden Eds. vol. 253 of Contemporary Math . AMS 2000 pp. 251--272.","key":"e_1_3_2_1_2_1","DOI":"10.1090\/conm\/253\/03922"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_3_1","DOI":"10.1145\/220346.220371"},{"key":"e_1_3_2_1_4_1","first-page":"112","volume-title":"Springer","author":"Corless R. M.","year":"2003","unstructured":"Corless , R. M. , Kaltofen , E. , and Watt , S. M . Hybrid methods . In Computer Algebra Handbook, J. Grabmeier, E. Kaltofen, and V. Weispfenning, Eds. Springer Verlag , Heidelberg, Germany , 2003 , Section 2.12.3, pp. 112 -- 125 . URL: http:\/\/www.math.ncsu.edu\/~kaltofen\/bibliography\/01\/symnum.pdf. Corless, R. M., Kaltofen, E., and Watt, S. M. Hybrid methods. In Computer Algebra Handbook, J. Grabmeier, E. Kaltofen, and V. Weispfenning, Eds. Springer Verlag, Heidelberg, Germany, 2003, Section 2.12.3, pp. 112--125. URL: http:\/\/www.math.ncsu.edu\/~kaltofen\/bibliography\/01\/symnum.pdf."},{"key":"e_1_3_2_1_5_1","volume-title":"Introduction to Operations Research","author":"Ecker J. G.","year":"1988","unstructured":"Ecker , J. G. , and Kupferschmid , M . Introduction to Operations Research . John Wiley and Sons , 1988 . 509 pp. Ecker, J. G., and Kupferschmid, M. Introduction to Operations Research. John Wiley and Sons, 1988. 509 pp."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_6_1","DOI":"10.1007\/10997703_15"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_7_1","DOI":"10.1145\/281508.281624"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_8_1","DOI":"10.1145\/309831.309937"},{"key":"e_1_3_2_1_9_1","volume-title":"Basic Algebra I","author":"Jacobson N.","year":"1974","unstructured":"Jacobson , N. Basic Algebra I . W. H. Freeman & amp; Co., San Francisco, 1974 . Jacobson, N. Basic Algebra I. W. H. Freeman & Co., San Francisco, 1974."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_10_1","DOI":"10.1007\/s10107-005-0589-0"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_11_1","DOI":"10.1007\/BF01810297"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_12_1","DOI":"10.1145\/1390768.1390792"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_13_1","DOI":"10.1145\/1145768.1145799"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_14_1","DOI":"10.1016\/j.jsc.2011.08.002"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_15_1","DOI":"10.1006\/jsco.1998.0232"},{"key":"e_1_3_2_1_16_1","first-page":"1483","article-title":"Asymptotic stability of an equilibrium of a family of systems of linear differential equations","volume":"14","author":"Kharitonov V. L","year":"1979","unstructured":"Kharitonov , V. L . Asymptotic stability of an equilibrium of a family of systems of linear differential equations . Differential Equations 14 ( 1979 ), 1483 -- 1485 . Kharitonov, V. L. Asymptotic stability of an equilibrium of a family of systems of linear differential equations. Differential Equations 14 (1979), 1483--1485.","journal-title":"Differential Equations"},{"key":"e_1_3_2_1_17_1","volume-title":"Proc. IEEE CCA\/ISIC\/CACSD Conf.","author":"L\u00f6fberg J. YALMIP","year":"2004","unstructured":"L\u00f6fberg , J. YALMIP : A toolbox for modeling and optimization in MATLAB . In Proc. IEEE CCA\/ISIC\/CACSD Conf. ( Taipei, Taiwan , 2004 ). URL: http:\/\/control.ee.ethz.ch\/~joloef\/yalmip.php. L\u00f6fberg, J. YALMIP: A toolbox for modeling and optimization in MATLAB. In Proc. IEEE CCA\/ISIC\/CACSD Conf. (Taipei, Taiwan, 2004). URL: http:\/\/control.ee.ethz.ch\/~joloef\/yalmip.php."},{"key":"e_1_3_2_1_18_1","volume-title":"American Math. Soc.","author":"Marshall M.","year":"2008","unstructured":"Marshall , M. Positive Polynomials and Sums of Squares . American Math. Soc. , 2008 . 187 pp. Marshall, M. Positive Polynomials and Sums of Squares. American Math. Soc., 2008. 187 pp."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_19_1","DOI":"10.1007\/s10898-006-9119-8"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_20_1","DOI":"10.1016\/j.tcs.2008.09.025"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_21_1","DOI":"10.1016\/j.jsc.2008.03.005"},{"key":"e_1_3_2_1_22_1","volume-title":"SOSTOOLS: Sum of squares optimization toolbox for MATLAB. Available from http:\/\/www.cds.caltech.edu\/sostools and http:\/\/www.mit.edu\/~parrilo\/sostools","author":"Prajna S.","year":"2004","unstructured":"Prajna , S. , Papachristodoulou , A. , Seiler , P. , and Parrilo , P. A . SOSTOOLS: Sum of squares optimization toolbox for MATLAB. Available from http:\/\/www.cds.caltech.edu\/sostools and http:\/\/www.mit.edu\/~parrilo\/sostools , 2004 . Prajna, S., Papachristodoulou, A., Seiler, P., and Parrilo, P. A. SOSTOOLS: Sum of squares optimization toolbox for MATLAB. Available from http:\/\/www.cds.caltech.edu\/sostools and http:\/\/www.mit.edu\/~parrilo\/sostools, 2004."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_23_1","DOI":"10.1145\/1113439.1113442"},{"key":"e_1_3_2_1_24_1","volume-title":"INRIA, www.inria.fr","author":"Ruatta O.","year":"2004","unstructured":"Ruatta , O. , Sciabica , M. , and Szanto , A . Over-constrained Weierstrass iteration and the nearest consistent system. Rapport de Recherche 5215 , INRIA, www.inria.fr , June 2004 . Accepted in Journal of Complexity. URL : ftp:\/\/ftp-sop.inria.fr\/galaad\/oruatta\/RR-5215.pdf. Ruatta, O., Sciabica, M., and Szanto, A. Over-constrained Weierstrass iteration and the nearest consistent system. Rapport de Recherche 5215, INRIA, www.inria.fr, June 2004. Accepted in Journal of Complexity. URL: ftp:\/\/ftp-sop.inria.fr\/galaad\/oruatta\/RR-5215.pdf."},{"key":"e_1_3_2_1_25_1","volume-title":"Univ. Paris VI (Univ. Pierre et Marie Curie)","author":"Safey El Din M.","year":"2001","unstructured":"Safey El Din , M. R\u00e9solution r\u00e9elle des syst\u00e8mes polynomiaux en dimension positive. Th\u00e8se de doctorat , Univ. Paris VI (Univ. Pierre et Marie Curie) , Paris, France , 2001 . URL: http:\/\/www-spiral.lip6.fr\/~safey\/these_safey.ps.gz. Safey El Din, M. R\u00e9solution r\u00e9elle des syst\u00e8mes polynomiaux en dimension positive. Th\u00e8se de doctorat, Univ. Paris VI (Univ. Pierre et Marie Curie), Paris, France, 2001. URL: http:\/\/www-spiral.lip6.fr\/~safey\/these_safey.ps.gz."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_26_1","DOI":"10.2307\/1969640"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_27_1","DOI":"10.1145\/500457.500458"},{"key":"e_1_3_2_1_28_1","volume-title":"Using SeDuMi 1.02, a MATLAB toolbox for optimization over symmetric cones. Optimization Methods and Software 11\/12","author":"Sturm J. F.","year":"1999","unstructured":"Sturm , J. F. Using SeDuMi 1.02, a MATLAB toolbox for optimization over symmetric cones. Optimization Methods and Software 11\/12 ( 1999 ), 625--653. Sturm, J. F. Using SeDuMi 1.02, a MATLAB toolbox for optimization over symmetric cones. Optimization Methods and Software 11\/12 (1999), 625--653."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_29_1","DOI":"10.1007\/BF02876025"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_30_1","DOI":"10.1007\/BF03167469"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_31_1","DOI":"10.1006\/jsco.1998.0233"}],"event":{"sponsor":["Gesellschaft fur Informtatik","SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"],"acronym":"ISSAC '10","name":"ISSAC '10: International Symposium on Symbolic and Algebraic Computation","location":"Munich Germany"},"container-title":["Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1837934.1837979","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1837934.1837979","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:08:28Z","timestamp":1750248508000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1837934.1837979"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,7,25]]},"references-count":31,"alternative-id":["10.1145\/1837934.1837979","10.1145\/1837934"],"URL":"https:\/\/doi.org\/10.1145\/1837934.1837979","relation":{},"subject":[],"published":{"date-parts":[[2010,7,25]]},"assertion":[{"value":"2010-07-25","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}