{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,25]],"date-time":"2025-07-25T10:54:26Z","timestamp":1753440866882},"reference-count":16,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":3485,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Symbolic Computation"],"published-print":{"date-parts":[[2004,1]]},"DOI":"10.1016\/s0747-7171(03)00073-7","type":"journal-article","created":{"date-parts":[[2003,6,30]],"date-time":"2003-06-30T17:29:20Z","timestamp":1056994160000},"page":"83-99","source":"Crossref","is-referenced-by-count":9,"title":["An effective decision method for semidefinite polynomials"],"prefix":"10.1016","volume":"37","author":[{"given":"Zeng","family":"Guangxing","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zeng","family":"Xiaoning","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0747-7171(03)00073-7_B1","doi-asserted-by":"crossref","first-page":"100","DOI":"10.1007\/BF02952513","article-title":"\u00dcber die Zerlegung definiter Functionen in Quadrate","volume":"5","author":"Artin","year":"1927","journal-title":"Hamb. Abh."},{"key":"10.1016\/S0747-7171(03)00073-7_B2","series-title":"Real Algebraic Geometry and Ordered Fields","first-page":"19","article-title":"Deciding positivity of real polynomials","volume":"vol. 253","author":"Becker","year":"2000"},{"key":"10.1016\/S0747-7171(03)00073-7_B3","series-title":"Gr\u00f6bner Bases: A Computational Approach to Commutative Algebra","author":"Becker","year":"1993"},{"key":"10.1016\/S0747-7171(03)00073-7_B4","series-title":"Real Algebraic Geometry","author":"Bochnack","year":"1998"},{"key":"10.1016\/S0747-7171(03)00073-7_B5","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1109\/TAC.1975.1100875","article-title":"Inner algorithm to test for positive definiteness of arbitrary binary forms","author":"Bose","year":"1975","journal-title":"IEEE Trans. Automat. Contr."},{"key":"10.1016\/S0747-7171(03)00073-7_B6","doi-asserted-by":"crossref","first-page":"696","DOI":"10.1109\/TAC.1976.1101356","article-title":"General procedure for multivariable polynomial positivity test with control applications","author":"Bose","year":"1976","journal-title":"IEEE Trans. Automat. Contr."},{"key":"10.1016\/S0747-7171(03)00073-7_B7","first-page":"44","article-title":"Mathematische probleme","author":"Hilbert","year":"1901","journal-title":"Arch. Math. Physik I"},{"key":"10.1016\/S0747-7171(03)00073-7_B8","doi-asserted-by":"crossref","first-page":"354","DOI":"10.1007\/BF02566128","article-title":"On the extension of real places","volume":"48","author":"Knebusch","year":"1973","journal-title":"Comment. Math. Helv."},{"key":"10.1016\/S0747-7171(03)00073-7_B9","article-title":"The theory of ordered fields","volume":"vol. 55","author":"Lam","year":"1980"},{"key":"10.1016\/S0747-7171(03)00073-7_B10","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1007\/BF02917106","article-title":"A complete discrimination system for polynomials with complex coefficients and its automatic generation","volume":"42","author":"Liang","year":"1999","journal-title":"Sci. China Ser. E"},{"key":"10.1016\/S0747-7171(03)00073-7_B11","series-title":"Algorithm Algebra, Texts and Monographs in Computer Science","author":"Mishra","year":"1993"},{"key":"10.1016\/S0747-7171(03)00073-7_B12","article-title":"Lectures on Formally Real Fields","volume":"vol. 1093","author":"Prestel","year":"1984"},{"key":"10.1016\/S0747-7171(03)00073-7_B13","doi-asserted-by":"crossref","first-page":"365","DOI":"10.2307\/1969640","article-title":"A new decision method for elementary algebra","volume":"60","author":"Seidenberg","year":"1954","journal-title":"Ann. Math."},{"key":"10.1016\/S0747-7171(03)00073-7_B14","series-title":"Basic Algebraic Geometry\u00a01: Varieties in Projective Space","author":"Shafarevich","year":"1994"},{"key":"10.1016\/S0747-7171(03)00073-7_B15","series-title":"A Decision Method for Elementary Algebra and Geometry","author":"Tarski","year":"1951"},{"key":"10.1016\/S0747-7171(03)00073-7_B16","series-title":"Basic Principle of Mechanical Theorem-Proving in Elementary Geometry","author":"Wu","year":"1984"}],"container-title":["Journal of Symbolic Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0747717103000737?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0747717103000737?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,18]],"date-time":"2019-03-18T14:21:37Z","timestamp":1552918897000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0747717103000737"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,1]]},"references-count":16,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2004,1]]}},"alternative-id":["S0747717103000737"],"URL":"https:\/\/doi.org\/10.1016\/s0747-7171(03)00073-7","relation":{},"ISSN":["0747-7171"],"issn-type":[{"value":"0747-7171","type":"print"}],"subject":[],"published":{"date-parts":[[2004,1]]}}}