{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T21:38:26Z","timestamp":1762033106021,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":31,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,7,22]],"date-time":"2012-07-22T00:00:00Z","timestamp":1342915200000},"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-0830347, CCF-1115772 (Kaltofen)"],"award-info":[{"award-number":["CCF-0830347, CCF-1115772 (Kaltofen)"]}],"id":[{"id":"10.13039\/100000143","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["91118001, 60821002\/F02, 60911130369, 10871194"],"award-info":[{"award-number":["91118001, 60821002\/F02, 60911130369, 10871194"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"NCSU"},{"name":"NKBRPC 2011CB302400"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2012,7,22]]},"DOI":"10.1145\/2442829.2442859","type":"proceedings-article","created":{"date-parts":[[2013,2,22]],"date-time":"2013-02-22T19:25:33Z","timestamp":1361561133000},"page":"195-202","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Certificates of impossibility of Hilbert-Artin representations of a given degree for definite polynomials and functions"],"prefix":"10.1145","author":[{"given":"Feng","family":"Guo","sequence":"first","affiliation":[{"name":"AMSS Beijing, China"}],"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":[[2012,7,22]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"A convex polynomial that is not SOS-convex. Mathematical Programming","author":"Ahmadi A. A.","year":"2011","unstructured":"Ahmadi , A. A. , and Parrilo , P. A . A convex polynomial that is not SOS-convex. Mathematical Programming ( 2011 ). Ahmadi, A. A., and Parrilo, P. A. A convex polynomial that is not SOS-convex. Mathematical Programming (2011)."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1137\/0805002"},{"key":"e_1_3_2_1_3_1","first-page":"1","article-title":"\u00dcber die Zerlegung definiter Funktionen","volume":"5","author":"Artin E","year":"1927","unstructured":"Artin , E . \u00dcber die Zerlegung definiter Funktionen in Quadrate. Abhandlungen Math. Seminar Univ. Hamburg 5 , 1 ( 1927 ), 100--115. Artin, E. \u00dcber die Zerlegung definiter Funktionen in Quadrate. Abhandlungen Math. Seminar Univ. Hamburg 5, 1 (1927), 100--115.","journal-title":"Quadrate. Abhandlungen Math. Seminar Univ. Hamburg"},{"key":"e_1_3_2_1_4_1","volume-title":"Dimensional difference between nonnegative polynomials and sums of squares. Computing Research Repository abs\/0907.1339","author":"Blekherman G.","year":"2009","unstructured":"Blekherman , G. Dimensional difference between nonnegative polynomials and sums of squares. Computing Research Repository abs\/0907.1339 ( 2009 ). URL http:\/\/arxiv.org\/abs\/0907.1339. Blekherman, G. Dimensional difference between nonnegative polynomials and sums of squares. Computing Research Repository abs\/0907.1339 (2009). URL http:\/\/arxiv.org\/abs\/0907.1339."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.899083"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01166704"},{"key":"e_1_3_2_1_7_1","volume-title":"Convex Optimization & Euclidean Distance Geometry","author":"Dattorro J.","year":"2011","unstructured":"Dattorro , J. Convex Optimization & Euclidean Distance Geometry . Meboo Publishing , USA , 2011 . Dattorro, J. Convex Optimization & Euclidean Distance Geometry. Meboo Publishing, USA, 2011."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/281508.281591"},{"key":"e_1_3_2_1_9_1","first-page":"66","article-title":"High precision SDP solver","volume":"28","author":"Guo F.","year":"2009","unstructured":"Guo , F. SDP Tools : High precision SDP solver in Maple. MM-Preprints 28 ( 2009 ), 66 -- 73 . URL: http:\/\/www.mmrc.iss.ac.cn\/pub\/mm28.pdf\/05-guofeng.pdf. Guo, F. SDPTools: High precision SDP solver in Maple. MM-Preprints 28 (2009), 66--73. URL: http:\/\/www.mmrc.iss.ac.cn\/pub\/mm28.pdf\/05-guofeng.pdf.","journal-title":"Maple. MM-Preprints"},{"key":"e_1_3_2_1_10_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"102","DOI":"10.1007\/978-3-540-74591-4_9","volume-title":"Proceedings of the 20th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2007 (Kaiserslautern","author":"Harrison J.","year":"2007","unstructured":"Harrison , J. Verifying nonlinear real formulas via sums of squares . In Proceedings of the 20th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2007 (Kaiserslautern , Germany, 2007 ), K. Schneider and J. Brandt, Eds., vol. 4732 of Lecture Notes in Computer Science , Springer-Verlag , pp. 102 -- 118 . URL http:\/\/www.cl.cam.ac.uk\/~jrh13\/papers\/sos.pdf. Harrison, J. Verifying nonlinear real formulas via sums of squares. In Proceedings of the 20th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2007 (Kaiserslautern, Germany, 2007), K. Schneider and J. Brandt, Eds., vol. 4732 of Lecture Notes in Computer Science, Springer-Verlag, pp. 102--118. URL http:\/\/www.cl.cam.ac.uk\/~jrh13\/papers\/sos.pdf."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01443605"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9939-08-09641-X"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1837934.1837979"},{"key":"e_1_3_2_1_14_1","volume-title":"Jan.","author":"Kaltofen E.","year":"2009","unstructured":"Kaltofen , E. A short proof of C. Hillar's totally real SOS theorem. Email to Bernd Sturmfels and Chris Hillar , Jan. 2009 . URL http:\/\/www.math.ncsu.edu\/~kaltofen\/bibliography\/09\/totallyreal.pdf. Kaltofen, E. A short proof of C. Hillar's totally real SOS theorem. Email to Bernd Sturmfels and Chris Hillar, Jan. 2009. URL http:\/\/www.math.ncsu.edu\/~kaltofen\/bibliography\/09\/totallyreal.pdf."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1577190.1577204"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2011.08.002"},{"key":"e_1_3_2_1_17_1","volume-title":"Infeasibility certificates for linear matrix inequalities","author":"Klep I.","year":"2011","unstructured":"Klep , I. , and Schweighofer , M . Infeasibility certificates for linear matrix inequalities , 2011 . URL http:\/\/www.math.uni-konstanz.de\/~schweigh\/publications\/infeasible.pdf. Klep, I., and Schweighofer, M. Infeasibility certificates for linear matrix inequalities, 2011. URL http:\/\/www.math.uni-konstanz.de\/~schweigh\/publications\/infeasible.pdf."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1137\/S1052623400366802"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"crossref","DOI":"10.1142\/p665","volume-title":"Positive Polynomials and Their Applications","author":"Lasserre J. B.","year":"2009","unstructured":"Lasserre , J. B. Moments , Positive Polynomials and Their Applications . Imperial College Press , 2009 . Lasserre, J. B. Moments, Positive Polynomials and Their Applications. Imperial College Press, 2009."},{"key":"e_1_3_2_1_20_1","first-page":"157","volume-title":"Emerging Applications of Algebraic Geometry of IMA Volumes in Mathematics and its Applications","author":"Laurent M.","year":"2009","unstructured":"Laurent , M. Sums of squares, moment matrices and optimization over polynomials . In Emerging Applications of Algebraic Geometry of IMA Volumes in Mathematics and its Applications ( 2009 ), vol. 149 , Springer , pp. 157 -- 270 . Laurent, M. Sums of squares, moment matrices and optimization over polynomials. In Emerging Applications of Algebraic Geometry of IMA Volumes in Mathematics and its Applications (2009), vol. 149, Springer, pp. 157--270."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2008.09.025"},{"key":"e_1_3_2_1_22_1","first-page":"1","article-title":"An algorithm for sums of squares of real polynomials","volume":"6","author":"Powers V.","year":"1998","unstructured":"Powers , V. , and W\u00f6rmann , T . An algorithm for sums of squares of real polynomials . Journal of Pure and Applied Algebra 6 , 1 ( 1998 ), 99--104. Powers, V., and W\u00f6rmann, T. An algorithm for sums of squares of real polynomials. Journal of Pure and Applied Algebra 6, 1 (1998), 99--104.","journal-title":"Journal of Pure and Applied Algebra"},{"key":"e_1_3_2_1_23_1","unstructured":"Prajna S. Papachristodoulou A. and Parrilo P. A. SOSTOOLS: Sum of squares optimization toolbox for MATLAB. http:\/\/www.cds.caltech.edu\/sostools.  Prajna S. Papachristodoulou A. and Parrilo P. A. SOSTOOLS: Sum of squares optimization toolbox for MATLAB. http:\/\/www.cds.caltech.edu\/sostools."},{"key":"e_1_3_2_1_24_1","volume-title":"Bounding the rational sums of squares over totally real fields. Computing Research Repository abs\/0907.2336","author":"Quarez R.","year":"2009","unstructured":"Quarez , R. Bounding the rational sums of squares over totally real fields. Computing Research Repository abs\/0907.2336 ( 2009 ). URL http:\/\/arxiv.org\/abs\/0907.2336. Quarez, R. Bounding the rational sums of squares over totally real fields. Computing Research Repository abs\/0907.2336 (2009). URL http:\/\/arxiv.org\/abs\/0907.2336."},{"key":"e_1_3_2_1_25_1","volume-title":"Cambridge University Press","author":"Rajwade A. R.","year":"1993","unstructured":"Rajwade , A. R. Squares . Cambridge University Press , 1993 . Rajwade, A. R. Squares. Cambridge University Press, 1993."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1215\/S0012-7094-78-04519-2"},{"key":"e_1_3_2_1_27_1","first-page":"554","article-title":"Some definite polynomials which are not sums of squares of real polynomials. In Selected questions of algebra and logic (1973), pp. 264--282","volume":"16","author":"Robinson R. M","year":"1969","unstructured":"Robinson , R. M . Some definite polynomials which are not sums of squares of real polynomials. In Selected questions of algebra and logic (1973), pp. 264--282 . Abstract in Notices Amer. Math. Soc. 16 ( 1969 ), p. 554 . Robinson, R. M. Some definite polynomials which are not sums of squares of real polynomials. In Selected questions of algebra and logic (1973), pp. 264--282. Abstract in Notices Amer. Math. Soc. 16 (1969), p. 554.","journal-title":"Abstract in Notices Amer. Math. Soc."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1137\/090772459"},{"key":"e_1_3_2_1_29_1","volume-title":"July","author":"Scheiderer C.","year":"2009","unstructured":"Scheiderer , C. A remark on descending sums of squares representations , July 2009 . Manuscript , 2 pages. Scheiderer, C. A remark on descending sums of squares representations, July 2009. Manuscript, 2 pages."},{"key":"e_1_3_2_1_30_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."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1137\/1038003"}],"event":{"name":"ISSAC'12: International Symposium on Symbolic and Algebraic Computation","sponsor":["Grenoble University Grenoble University","INRIA Institut Natl de Recherche en Info et en Automatique","SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"],"location":"Grenoble France","acronym":"ISSAC'12"},"container-title":["Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2442829.2442859","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2442829.2442859","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:18:40Z","timestamp":1750234720000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2442829.2442859"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,7,22]]},"references-count":31,"alternative-id":["10.1145\/2442829.2442859","10.1145\/2442829"],"URL":"https:\/\/doi.org\/10.1145\/2442829.2442859","relation":{},"subject":[],"published":{"date-parts":[[2012,7,22]]},"assertion":[{"value":"2012-07-22","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}