{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,16]],"date-time":"2026-04-16T09:58:12Z","timestamp":1776333492686,"version":"3.51.2"},"reference-count":58,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","delay-in-days":1461,"URL":"http:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"funder":[{"name":"President's Fund for Undergraduate Students of Peking University"},{"DOI":"10.13039\/501100001809","name":"NSFC","doi-asserted-by":"publisher","award":["11290141"],"award-info":[{"award-number":["11290141"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"NSFC","doi-asserted-by":"publisher","award":["11271034"],"award-info":[{"award-number":["11271034"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100011227","name":"SKLCS","doi-asserted-by":"crossref","award":["SYSKF1207"],"award-info":[{"award-number":["SYSKF1207"]}],"id":[{"id":"10.13039\/501100011227","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Journal of Symbolic Computation"],"published-print":{"date-parts":[[2016,1]]},"DOI":"10.1016\/j.jsc.2015.02.007","type":"journal-article","created":{"date-parts":[[2015,3,3]],"date-time":"2015-03-03T13:37:50Z","timestamp":1425389870000},"page":"206-230","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":10,"special_numbering":"C","title":["Proving inequalities and solving global optimization problems via simplified CAD projection"],"prefix":"10.1016","volume":"72","author":[{"given":"Jingjun","family":"Han","sequence":"first","affiliation":[]},{"given":"Zhi","family":"Jin","sequence":"additional","affiliation":[]},{"given":"Bican","family":"Xia","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"issue":"04","key":"10.1016\/j.jsc.2015.02.007_br0010","doi-asserted-by":"crossref","first-page":"865","DOI":"10.1137\/0213054","article-title":"Cylindrical algebraic decomposition I: the basic algorithm","volume":"13","author":"Arnon","year":"1984","journal-title":"SIAM J. Comput."},{"key":"10.1016\/j.jsc.2015.02.007_br0020","doi-asserted-by":"crossref","first-page":"100","DOI":"10.1007\/BF02952513","article-title":"\u00dcber die Zerlegung definiter Funktionen in Quadrate","volume":"5","author":"Artin","year":"1927","journal-title":"Abh. Math. Semin. Univ. Hamb."},{"key":"10.1016\/j.jsc.2015.02.007_br0030","series-title":"Proceedings of the 1998 International Symposium on Symbolic and Algebraic Computation","first-page":"25","article-title":"Complexity of computing semi-algebraic descriptions of the connected components of a semi-algebraic set","author":"Basu","year":"1998"},{"key":"10.1016\/j.jsc.2015.02.007_br0040","series-title":"Algorithms in Real Algebraic Geometry","author":"Basu","year":"2006"},{"key":"10.1016\/j.jsc.2015.02.007_br0050","doi-asserted-by":"crossref","first-page":"487","DOI":"10.1007\/BF01466054","article-title":"Polynomially positive definite sequences","volume":"259","author":"Berg","year":"1982","journal-title":"Math. Ann."},{"key":"10.1016\/j.jsc.2015.02.007_br0060","first-page":"227","article-title":"Sur la repr\u00e9sentation des polyn\u00f4mes positif","volume":"2","author":"Bernstein","year":"1915","journal-title":"Soobshch. Har'k. Mat. Obshch."},{"key":"10.1016\/j.jsc.2015.02.007_br0070","series-title":"Real Algebraic Geometry","author":"Bochnak","year":"1998"},{"key":"10.1016\/j.jsc.2015.02.007_br0080","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1006\/jsco.2001.0463","article-title":"Improved projection for cylindrical algebraic decomposition","volume":"32","author":"Brown","year":"2001","journal-title":"J. Symb. Comput."},{"key":"10.1016\/j.jsc.2015.02.007_br0090","series-title":"Proceedings of the 2007 International Symposium on Symbolic and Algebraic Computation","first-page":"54","article-title":"The complexity of quantifier elimination and cylindrical algebraic decomposition","author":"Brown","year":"2007"},{"key":"10.1016\/j.jsc.2015.02.007_br0100","doi-asserted-by":"crossref","first-page":"1039","DOI":"10.1016\/j.jsc.2011.05.006","article-title":"P\u00f3lya's theorem with zeros","volume":"46","author":"Castle","year":"2011","journal-title":"J. Symb. Comput."},{"key":"10.1016\/j.jsc.2015.02.007_br0110","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/3-540-07407-4_17","article-title":"Quantifier elimination for the elementary theory of real closed fields by cylindrical algebraic decomposition","volume":"33","author":"Collins","year":"1975","journal-title":"Lect. Notes Comput. Sci."},{"key":"10.1016\/j.jsc.2015.02.007_br0120","series-title":"Quantifier Elimination and Cylindrical Algebraic Decomposition","first-page":"8","article-title":"Quantifier elimination by cylindrical algebraic decomposition \u2013 twenty years of progress","author":"Collins","year":"1998"},{"key":"10.1016\/j.jsc.2015.02.007_br0130","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1016\/S0747-7171(08)80152-6","article-title":"Partial cylindrical algebraic decomposition for quantifier elimination","volume":"12","author":"Collins","year":"1991","journal-title":"J. Symb. Comput."},{"key":"10.1016\/j.jsc.2015.02.007_br0140","series-title":"Using Algebraic Geometry","author":"Cox","year":"2005"},{"issue":"1","key":"10.1016\/j.jsc.2015.02.007_br0150","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1016\/S0747-7171(88)80004-X","article-title":"Real quantifier elimination is doubly exponential","volume":"5","author":"Davenport","year":"1988","journal-title":"J. Symb. Comput."},{"key":"10.1016\/j.jsc.2015.02.007_br0160","series-title":"Algorithmic Algebra and Number Theory","first-page":"221","article-title":"Real quantifier elimination in practice","author":"Dolzmann","year":"1999"},{"key":"10.1016\/j.jsc.2015.02.007_br0170","series-title":"Complexity of Computation","first-page":"27","article-title":"Super-exponential complexity of Pressburger arithmetic","volume":"vol. 7","author":"Fischer","year":"1974"},{"issue":"1","key":"10.1016\/j.jsc.2015.02.007_br0180","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1016\/S0747-7171(88)80005-1","article-title":"Solving systems of polynomial inequalities in subexponential time","volume":"5","author":"Grigor'ev","year":"1988","journal-title":"J. Symb. Comput."},{"key":"10.1016\/j.jsc.2015.02.007_br0190","series-title":"Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation","first-page":"107","article-title":"Global optimization of polynomials using generalized critical values and sums of squares","author":"Guo","year":"2010"},{"issue":"11","key":"10.1016\/j.jsc.2015.02.007_br0200","doi-asserted-by":"crossref","first-page":"2167","DOI":"10.1016\/j.jpaa.2009.03.014","article-title":"Solving polynomial optimization problems via the truncated tangency variety and sums of squares","volume":"213","author":"H\u00e0","year":"2009","journal-title":"J. Pure Appl. Algebra"},{"key":"10.1016\/j.jsc.2015.02.007_br0210","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1007\/BF01097057","article-title":"Computing global minima to polynomial optimization problems using Gr\u00f6bner bases","volume":"7","author":"H\u00e4ggl\u00f6f","year":"1995","journal-title":"J. Glob. Optim."},{"key":"10.1016\/j.jsc.2015.02.007_br0220","series-title":"An Introduction to the Proving of Elementary Inequalities","first-page":"221","author":"Han","year":"2011"},{"key":"10.1016\/j.jsc.2015.02.007_br0230","series-title":"Proceedings of International Symposium on Symbolic and Algebraic Computation","first-page":"240","article-title":"Constructing fewer open cells by GCD computation in CAD projection","author":"Han","year":"2014"},{"key":"10.1016\/j.jsc.2015.02.007_br0240","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1023\/A:1024664432540","article-title":"Global minimization of a multivariate polynomial using matrix methods","volume":"27","author":"Hanzon","year":"2003","journal-title":"J. Glob. Optim."},{"key":"10.1016\/j.jsc.2015.02.007_br0250","series-title":"Inequalities","author":"Hardy","year":"1952"},{"issue":"5","key":"10.1016\/j.jsc.2015.02.007_br0260","doi-asserted-by":"crossref","first-page":"427","DOI":"10.1093\/comjnl\/36.5.427","article-title":"On the theoretical and practical complexity of the existential theory of reals","volume":"36","author":"Heintz","year":"1993","journal-title":"Comput. J."},{"key":"10.1016\/j.jsc.2015.02.007_br0270","doi-asserted-by":"crossref","first-page":"342","DOI":"10.1007\/BF01443605","article-title":"\u00dcber die Darstellung definiter Formen als Summe von Formenquadraten","volume":"32","author":"Hilbert","year":"1888","journal-title":"Math. Ann."},{"key":"10.1016\/j.jsc.2015.02.007_br0280","series-title":"Proceedings of the International Symposium on Symbolic and Algebraic Computation","first-page":"261","article-title":"An improvement of the projection operator in cylindrical algebraic decomposition","author":"Hong","year":"1990"},{"issue":"2","key":"10.1016\/j.jsc.2015.02.007_br0290","doi-asserted-by":"crossref","first-page":"490","DOI":"10.1137\/04060562X","article-title":"Semidefinite approximations for global unconstrained polynomial optimization","volume":"16","author":"Jibetean","year":"2005","journal-title":"SIAM J. Optim."},{"issue":"1","key":"10.1016\/j.jsc.2015.02.007_br0300","doi-asserted-by":"crossref","first-page":"67","DOI":"10.4310\/jdg\/1090347525","article-title":"Semialgebraic Sard theorem for generalized critical values","volume":"56","author":"Kurdyka","year":"2000","journal-title":"J. Differ. Geom."},{"issue":"3","key":"10.1016\/j.jsc.2015.02.007_br0310","doi-asserted-by":"crossref","first-page":"796","DOI":"10.1137\/S1052623400366802","article-title":"Global optimization with polynomials and the problem of moments","volume":"11","author":"Lasserre","year":"2001","journal-title":"SIAM J. Optim."},{"key":"10.1016\/j.jsc.2015.02.007_br0320","doi-asserted-by":"crossref","first-page":"515","DOI":"10.1007\/BF01457454","article-title":"Factoring polynomial with rational coefficients","volume":"261","author":"Lenstra","year":"1982","journal-title":"Math. Ann."},{"key":"10.1016\/j.jsc.2015.02.007_br0330","series-title":"Positive Polynomials and Sums of Squares","first-page":"3","author":"Marshall","year":"2008"},{"key":"10.1016\/j.jsc.2015.02.007_br0340","series-title":"An improved projection operation for cylindrical algebraic decomposition","author":"McCallum","year":"1984"},{"key":"10.1016\/j.jsc.2015.02.007_br0350","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1016\/S0747-7171(88)80010-5","article-title":"An improved projection operation for cylindrical algebraic decomposition of three-dimensional space","volume":"5","author":"McCallum","year":"1988","journal-title":"J. Symb. Comput."},{"key":"10.1016\/j.jsc.2015.02.007_br0370","doi-asserted-by":"crossref","first-page":"432","DOI":"10.1093\/comjnl\/36.5.432","article-title":"Solving polynomial strict inequalities using cylindrical algebraic decomposition","volume":"36","author":"McCallum","year":"1993","journal-title":"Comput. J."},{"key":"10.1016\/j.jsc.2015.02.007_br0360","series-title":"Quantifier Elimination and Cylindrical Algebraic Decomposition","first-page":"242","article-title":"An improved projection operation for cylindrical algebraic decomposition","author":"McCallum","year":"1998"},{"key":"10.1016\/j.jsc.2015.02.007_br0380","first-page":"11","article-title":"Copositive quadratic forms","volume":"1818","author":"Motzkin","year":"1952","journal-title":"Natl. Bur. Stand. Rep."},{"key":"10.1016\/j.jsc.2015.02.007_br0390","doi-asserted-by":"crossref","first-page":"641","DOI":"10.2140\/pjm.1969.29.641","article-title":"Divisors of polynomials and power series with positive coefficients","volume":"29","author":"Motzkin","year":"1969","journal-title":"Pac. J. Math."},{"issue":"3, Ser. A","key":"10.1016\/j.jsc.2015.02.007_br0400","doi-asserted-by":"crossref","first-page":"587","DOI":"10.1007\/s10107-005-0672-6","article-title":"Minimizing polynomials via sum of squares over the gradient ideal","volume":"106","author":"Nie","year":"2006","journal-title":"Math. Program."},{"key":"10.1016\/j.jsc.2015.02.007_br0410","series-title":"Structured semidefinite programs and semialgebraic geometry methods in robustness and optimization","author":"Parrilo","year":"2000"},{"key":"10.1016\/j.jsc.2015.02.007_br0420","first-page":"141","article-title":"\u00dcber positive Darstellung von Polynomen","volume":"73","author":"P\u00f3lya","year":"1928","journal-title":"Vierteljahrschrift Naturforsch. Ges. Z\u00fcrich"},{"key":"10.1016\/j.jsc.2015.02.007_br0430","doi-asserted-by":"crossref","first-page":"969","DOI":"10.1512\/iumj.1993.42.42045","article-title":"Positive polynomials on compact semi-algebraic sets","volume":"42","author":"Putinar","year":"1993","journal-title":"Indiana Univ. Math. J."},{"key":"10.1016\/j.jsc.2015.02.007_br0440","series-title":"Improvements on a simplified CAD projection operator with application to global optimization","author":"Qian","year":"2013"},{"issue":"3","key":"10.1016\/j.jsc.2015.02.007_br0450","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1016\/S0747-7171(10)80003-3","article-title":"On the computational complexity and geometry of the first-order theory of the reals. Part I: Introduction. Preliminaries. The geometry of semi-algebraic sets. The decision problem for the existential theory of the reals","volume":"13","author":"Renegar","year":"1992","journal-title":"J. Symb. Comput."},{"key":"10.1016\/j.jsc.2015.02.007_br0460","series-title":"ISSAC 2008 Proceedings","first-page":"71","article-title":"Computing the global optimum of a multivariate polynomial over the reals","author":"Safey El Din","year":"2008"},{"key":"10.1016\/j.jsc.2015.02.007_br0470","series-title":"Emerging Applications of Algebraic Geometry","first-page":"271","article-title":"Positivity and sums of squares: a guide to recent results","volume":"vol. 149","author":"Scheiderer","year":"2009"},{"key":"10.1016\/j.jsc.2015.02.007_br0480","doi-asserted-by":"crossref","first-page":"407","DOI":"10.1007\/s00229-005-0568-z","article-title":"Certificates for nonnegativity of polynomials with zeros on compact semi-algebraic sets","volume":"117","author":"Schweighofer","year":"2005","journal-title":"Manuscr. Math."},{"key":"10.1016\/j.jsc.2015.02.007_br0490","doi-asserted-by":"crossref","first-page":"471","DOI":"10.1006\/jsco.1999.0327","article-title":"Solving systems of strict polynomial inequalities","volume":"29","author":"Strzebo\u0144ski","year":"2000","journal-title":"J. Symb. Comput."},{"key":"10.1016\/j.jsc.2015.02.007_br0500","series-title":"Algebraic Number Theory","first-page":"166","author":"Weiss","year":"1963"},{"key":"10.1016\/j.jsc.2015.02.007_br0510","series-title":"Proc. ASCM'98","first-page":"135","article-title":"On global-optimization problems","author":"Wu","year":"1998"},{"key":"10.1016\/j.jsc.2015.02.007_br0520","series-title":"Mathematics Mechanization","author":"Wu","year":"2003"},{"issue":"9","key":"10.1016\/j.jsc.2015.02.007_br0530","doi-asserted-by":"crossref","first-page":"759","DOI":"10.1360\/012010-977","article-title":"Algorithms for computing the global infimum and minimum of a polynomial function","volume":"41","author":"Xiao","year":"2011","journal-title":"Sci. Sin. Math."},{"issue":"3","key":"10.1016\/j.jsc.2015.02.007_br0540","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1360\/012011-684","article-title":"P\u00f3lya's method and the successive difference substitution method","volume":"42","author":"Xu","year":"2012","journal-title":"Sci. Sin. Math."},{"key":"10.1016\/j.jsc.2015.02.007_br0550","series-title":"Mathematics and Mathematical Mechanization","first-page":"210","article-title":"Symbolic algorithm for global optimization and principle of finite kernel","author":"Yang","year":"2001"},{"key":"10.1016\/j.jsc.2015.02.007_br0560","series-title":"Proceedings of the 10th Asian Technology Conference in Mathematics","first-page":"37","article-title":"Solving harder problems with lesser mathematics","author":"Yang","year":"2005"},{"key":"10.1016\/j.jsc.2015.02.007_br0570","series-title":"Automated Proving and Discovering on Inequalities","first-page":"131","author":"Yang","year":"2008"},{"issue":"3","key":"10.1016\/j.jsc.2015.02.007_br0580","first-page":"251","article-title":"Infinite product convergence of column stochastic mean matrix and machine decision for positive semi-definite forms","volume":"53","author":"Yao","year":"2010","journal-title":"Sci. Sin. Math."}],"container-title":["Journal of Symbolic Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0747717115000164?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0747717115000164?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,12,31]],"date-time":"2019-12-31T22:47:56Z","timestamp":1577832476000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0747717115000164"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,1]]},"references-count":58,"alternative-id":["S0747717115000164"],"URL":"https:\/\/doi.org\/10.1016\/j.jsc.2015.02.007","relation":{},"ISSN":["0747-7171"],"issn-type":[{"value":"0747-7171","type":"print"}],"subject":[],"published":{"date-parts":[[2016,1]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Proving inequalities and solving global optimization problems via simplified CAD projection","name":"articletitle","label":"Article Title"},{"value":"Journal of Symbolic Computation","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.jsc.2015.02.007","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 2015 Elsevier Ltd. All rights reserved.","name":"copyright","label":"Copyright"}]}}