{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,24]],"date-time":"2025-09-24T10:24:04Z","timestamp":1758709444805},"reference-count":68,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2019,2,1]],"date-time":"2019-02-01T00:00:00Z","timestamp":1548979200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Syst Sci Complex"],"published-print":{"date-parts":[[2019,2]]},"DOI":"10.1007\/s11424-019-8351-5","type":"journal-article","created":{"date-parts":[[2019,2,14]],"date-time":"2019-02-14T05:53:25Z","timestamp":1550123605000},"page":"158-184","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Global Optimization of Polynomials over Real Algebraic Sets"],"prefix":"10.1007","volume":"32","author":[{"given":"Chu","family":"Wang","sequence":"first","affiliation":[]},{"given":"Zhi-Hong","family":"Yang","sequence":"additional","affiliation":[]},{"given":"Lihong","family":"Zhi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,2,14]]},"reference":[{"issue":"8","key":"8351_CR1","doi-asserted-by":"publisher","first-page":"2383","DOI":"10.3934\/dcdsb.2015.20.2383","volume":"20","author":"R Kamyar","year":"2015","unstructured":"Kamyar R and Peet M, Polynomial optimization with applications to stability analysis and controlalternatives to sum of squares, Discrete and Continuous Dynamical Systems-Series B, 2015, 20(8): 2383\u20132417.","journal-title":"Discrete and Continuous Dynamical Systems-Series B"},{"issue":"4","key":"8351_CR2","doi-asserted-by":"publisher","first-page":"709","DOI":"10.1007\/s11590-015-0894-3","volume":"10","author":"A A Ahmadi","year":"2016","unstructured":"Ahmadi A A and Majumdar A, Some applications of polynomial optimization in operations research and real-time decision making, Optimization Letters, 2016, 10(4): 709\u2013729.","journal-title":"Optimization Letters"},{"issue":"4","key":"8351_CR3","doi-asserted-by":"publisher","first-page":"419","DOI":"10.1023\/A:1024778309049","volume":"26","author":"L Qi","year":"2003","unstructured":"Qi L and Teo K L, Multivariate polynomial minimization and its application in signal processing, Journal of Global Optimization, 2003, 26(4): 419\u2013433.","journal-title":"Journal of Global Optimization"},{"issue":"1","key":"8351_CR4","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/s11263-006-0015-y","volume":"74","author":"F Kahl","year":"2007","unstructured":"Kahl F and Henrion D, Globally optimal estimates for geometric reconstruction problems, International Journal of Computer Vision, 2007, 74(1): 3\u201315.","journal-title":"International Journal of Computer Vision"},{"key":"8351_CR5","first-page":"405","volume-title":"Squared functional systems and optimization problems","author":"Y Nesterov","year":"2000","unstructured":"Nesterov Y, Squared functional systems and optimization problems, High Performance Optimization, Springer, 2000, 405\u2013440."},{"key":"8351_CR6","first-page":"103","volume":"7","author":"W T Wu","year":"1992","unstructured":"Wu W T, On problems involving inequalities, Mathematics-Mechanization Research Preprints, 1992, 7: 103\u2013138.","journal-title":"Mathematics-Mechanization Research Preprints"},{"issue":"1","key":"8351_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s11434-009-0027-4","volume":"31","author":"W T Wu","year":"1986","unstructured":"Wu W T, On zeros of algebraic equations \u2014 An application of Ritt principle, Chinese Science Bulletin, 1986, 31(1): 1\u20135.","journal-title":"Chinese Science Bulletin"},{"key":"8351_CR8","first-page":"2","volume":"1","author":"W T Wu","year":"1987","unstructured":"Wu W T, A zero structure theorem for polynomial-equations-solving and its applications, Mathematics-Mechanization Research Preprints, 1987, 1: 2\u201312.","journal-title":"Mathematics-Mechanization Research Preprints"},{"key":"8351_CR9","volume-title":"European Conference on Computer Algebra","author":"W T Wu","year":"1987","unstructured":"Wu W T, A zero structure theorem for polynomial-equations-solving and its applications, European Conference on Computer Algebra, 1987."},{"key":"8351_CR10","first-page":"81","volume-title":"Mathematics-Mechanization Research Preprints","author":"W T Wu","year":"1992","unstructured":"Wu W T, On a finiteness theorem about optimization problems, Mathematics-Mechanization Research Preprints, 1992, 81\u201318."},{"key":"8351_CR11","first-page":"4","volume-title":"Proceedings of the 2005 International Symposium on Symbolic and Algebraic Computation, ISSAC\u201905","author":"W T Wu","year":"2005","unstructured":"Wu W T, On a finite kernel theorem for polynomial-type optimization problems and some of its applications, Proceedings of the 2005 International Symposium on Symbolic and Algebraic Computation, ISSAC\u201905, (New York, USA), ACM, 2005, 4\u20134."},{"issue":"1","key":"8351_CR12","doi-asserted-by":"publisher","first-page":"62","DOI":"10.2307\/1968544","volume":"40","author":"A P Morse","year":"1939","unstructured":"Morse A P, The behavior of a function on its critical set, Annals of Mathematics, 1939, 40(1): 62\u201370.","journal-title":"Annals of Mathematics"},{"issue":"1942","key":"8351_CR13","doi-asserted-by":"publisher","first-page":"883","DOI":"10.1090\/S0002-9904-1942-07811-6","volume":"48","author":"A Sard","year":"1942","unstructured":"Sard A, The measure of the critical values of differentiable maps, Bulletin of the American Mathematical Society, 1942, 48(1942): 883\u2013890.","journal-title":"Bulletin of the American Mathematical Society"},{"issue":"1","key":"8351_CR14","doi-asserted-by":"publisher","first-page":"158","DOI":"10.2307\/2373229","volume":"87","author":"A Sard","year":"1965","unstructured":"Sard A, Hausdorff measure of critical images on banach manifolds, American Journal of Mathematics, 1965, 87(1): 158\u2013174.","journal-title":"American Journal of Mathematics"},{"issue":"2","key":"8351_CR15","first-page":"8","volume":"9","author":"T Wu","year":"1994","unstructured":"Wu T, Some test problems on applications of Wu\u2019s method in nonlinear programming problems, Chinese Quarterly Journal of Mathematics, 1994, 9(2): 8\u201317.","journal-title":"Chinese Quarterly Journal of Mathematics"},{"key":"8351_CR16","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1016\/S0252-9602(17)30761-0","volume":"15","author":"T Wu","year":"1995","unstructured":"Wu T, On a collision problem, Acta Mathematica Scientia, 1995, 15(Supp.): 32\u201338.","journal-title":"Acta Mathematica Scientia"},{"issue":"5","key":"8351_CR17","doi-asserted-by":"publisher","first-page":"434","DOI":"10.1007\/BF02948785","volume":"14","author":"L Yang","year":"1999","unstructured":"Yang L, Recent advances in automated theorem proving on inequalities, Journal of Computer Science & Technology, 1999, 14(5): 434\u2013446.","journal-title":"Journal of Computer Science & Technology"},{"issue":"3","key":"8351_CR18","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1023\/A:1008318925663","volume":"18","author":"W Fang","year":"2000","unstructured":"Fang W, Wu T, and Chen J, An algorithm of global optimization for rational functions with rational constraints, Journal of Global Optimization, 2000, 18(3): 211\u2013218.","journal-title":"Journal of Global Optimization"},{"key":"8351_CR19","first-page":"41","volume-title":"A Practical Program of Automated Proving for a Class of Geometric Inequalities","author":"L Yang","year":"2001","unstructured":"Yang L and Zhang J, A Practical Program of Automated Proving for a Class of Geometric Inequalities, Springer Berlin Heidelberg, 2001, 41\u201357."},{"issue":"4","key":"8351_CR20","doi-asserted-by":"publisher","first-page":"881","DOI":"10.1007\/s11425-011-4326-2","volume":"55","author":"S J Xiao","year":"2012","unstructured":"Xiao S J and Zeng G X, Algorithms for computing the global infimum and minimum of a polynomial function, Science China Mathematics, 2012, 55(4): 881\u2013891.","journal-title":"Science China Mathematics"},{"issue":"3","key":"8351_CR21","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1007\/s10898-011-9718-x","volume":"53","author":"G Zeng","year":"2012","unstructured":"Zeng G and Xiao S, Global minimization of multivariate polynomials using nonstandard methods, Journal of Global Optimization, 2012, 53(3): 391\u2013415.","journal-title":"Journal of Global Optimization"},{"key":"8351_CR22","first-page":"134","volume-title":"Automata Theory and Formal Languages 2nd GI Conference Kaiserslautern","author":"G E Collins","year":"1975","unstructured":"Collins G E, Quantifier elimination for real closed fields by cylindrical algebraic decomposition, Automata Theory and Formal Languages 2nd GI Conference Kaiserslautern, May 20\u201323, 1975, Springer, 1975, 134\u2013183."},{"key":"8351_CR23","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1145\/96877.96943","volume-title":"Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC\u201990","author":"H Hong","year":"1990","unstructured":"Hong H, An improvement of the projection operator in cylindrical algebraic decomposition, Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC\u201990, (New York, USA), ACM, 1990, 261\u2013264."},{"issue":"3","key":"8351_CR24","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1016\/S0747-7171(08)80152-6","volume":"12","author":"G E Collins","year":"1991","unstructured":"Collins G E and Hong H, Partial cylindrical algebraic decomposition for quantifier elimination, Journal of Symbolic Computation, 1991, 12(3): 299\u2013328.","journal-title":"Journal of Symbolic Computation"},{"key":"8351_CR25","first-page":"177","volume-title":"Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC\u201992","author":"H Hong","year":"1992","unstructured":"Hong H, Simple solution formula construction in cylindrical algebraic decomposition based quantifier elimination, Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC\u201992, (New York, USA), ACM, 1992, 177\u2013188."},{"key":"8351_CR26","doi-asserted-by":"publisher","first-page":"242","DOI":"10.1007\/978-3-7091-9459-1_12","volume-title":"Quantifier Elimination and Cylindrical Algebraic Decomposition","author":"S McCallum","year":"1998","unstructured":"McCallum S, An improved projection operation for cylindrical algebraic decomposition, Quantifier Elimination and Cylindrical Algebraic Decomposition, Eds. by Caviness B F and Johnson J R, Springer Vienna, 1998, 242\u2013268."},{"key":"8351_CR27","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1145\/309831.309892","volume-title":"Proceedings of the 1999 International Symposium on Symbolic and Algebraic Computation, ISSAC\u201999","author":"S McCallum","year":"1999","unstructured":"McCallum S, On projection in CAD-based quantifier elimination with equational constraint, Proceedings of the 1999 International Symposium on Symbolic and Algebraic Computation, ISSAC\u201999, (New York, USA), ACM, 1999, 145\u2013149."},{"issue":"5","key":"8351_CR28","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1006\/jsco.2001.0463","volume":"32","author":"C W Brown","year":"2001","unstructured":"Brown C W, Improved projection for cylindrical algebraic decomposition, Journal of Symbolic Computation, 2001, 32(5): 447\u2013465.","journal-title":"Journal of Symbolic Computation"},{"issue":"4","key":"8351_CR29","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1145\/968708.968710","volume":"37","author":"C W Brown","year":"2003","unstructured":"Brown C W, QEPCAD B: A program for computing with semi-algebraic sets using CADs, SIGSAM Bull., 2003, 37(4): 97\u2013108.","journal-title":"SIGSAM Bull."},{"key":"8351_CR30","doi-asserted-by":"crossref","first-page":"240","DOI":"10.1145\/2608628.2608676","volume-title":"Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation, ISSAC\u201914","author":"J Han","year":"2014","unstructured":"Han J, Dai L, and Xia B, Constructing fewer open cells by GCD computation in CAD projection, Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation, ISSAC\u201914, (New York, USA), ACM, 2014, 240\u2013247."},{"key":"8351_CR31","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1016\/j.jsc.2015.02.007","volume":"72","author":"J Han","year":"2016","unstructured":"Han J, Jin Z, and Xia B, Proving inequalities and solving global optimization problems via simplified CAD projection, Journal of Symbolic Computation, 2016, 72: 206\u2013230.","journal-title":"Journal of Symbolic Computation"},{"key":"8351_CR32","doi-asserted-by":"publisher","first-page":"785","DOI":"10.1016\/j.jsc.2016.07.032","volume":"80","author":"J Han","year":"2017","unstructured":"Han J, Dai L, Hong H, et al., Open weak CAD and its applications, Journal of Symbolic Computation, 2017, 80: 785\u2013816.","journal-title":"Journal of Symbolic Computation"},{"key":"8351_CR33","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-33099-2","volume-title":"Algorithms in Real Algebraic Geometry","author":"S Basu","year":"2006","unstructured":"Basu S, Pollack R, and Roy M F, Algorithms in Real Algebraic Geometry, Springer Berlin Heidelberg, Berlin, 2006."},{"key":"8351_CR34","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1145\/1576702.1576729","volume-title":"Proceedings of the 2009 International Symposium on Symbolic and Algebraic Computation, ISSAC\u201909","author":"H Hong","year":"2009","unstructured":"Hong H and Safey El Din M, Variant real quantifier elimination: Algorithm and application, Proceedings of the 2009 International Symposium on Symbolic and Algebraic Computation, ISSAC\u201909, (New York, USA), ACM, 2009, 183\u2013190."},{"issue":"7","key":"8351_CR35","doi-asserted-by":"publisher","first-page":"883","DOI":"10.1016\/j.jsc.2011.05.014","volume":"47","author":"H Hong","year":"2012","unstructured":"Hong H and Safey El Din M, Variant quantifier elimination, Journal of Symbolic Computation, 2012, 47(7): 883\u2013901, International Symposium on Symbolic and Algebraic Computation (ISSAC 2009).","journal-title":"Journal of Symbolic Computation"},{"key":"8351_CR36","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1145\/1390768.1390781","volume-title":"Proceedings of the Twenty-First International Symposium on Symbolic and Algebraic Computation, ISSAC\u201908","author":"M Safey El Din","year":"2008","unstructured":"Safey El Din M, Computing the global optimum of a multivariate polynomial over the reals, Proceedings of the Twenty-First International Symposium on Symbolic and Algebraic Computation, ISSAC\u201908, (New York, NY, USA), ACM, 2008, 71\u201378."},{"issue":"3","key":"8351_CR37","doi-asserted-by":"publisher","first-page":"1313","DOI":"10.1137\/130931308","volume":"24","author":"A Greuet","year":"2014","unstructured":"Greuet A and Safey El Din M, Probabilistic algorithm for polynomial optimization over a real algebraic set, SIAM Journal on Optimization, 2014, 24(3): 1313\u20131343.","journal-title":"SIAM Journal on Optimization"},{"issue":"3","key":"8351_CR38","doi-asserted-by":"publisher","first-page":"796","DOI":"10.1137\/S1052623400366802","volume":"11","author":"J B Lasserre","year":"2001","unstructured":"Lasserre J B, Global optimization with polynomials and the problem of moments, SIAM Journal on Optimization, 2001, 11(3): 796\u2013817.","journal-title":"SIAM Journal on Optimization"},{"issue":"3","key":"8351_CR39","doi-asserted-by":"publisher","first-page":"587","DOI":"10.1007\/s10107-005-0672-6","volume":"106","author":"J Nie","year":"2006","unstructured":"Nie J, Demmel J, and Sturmfels B, Minimizing polynomials via sum of squares over the gradient ideal, Mathematical Programming, 2006, 106(3): 587\u2013606.","journal-title":"Mathematical Programming"},{"issue":"1","key":"8351_CR40","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1016\/j.jpaa.2006.05.028","volume":"209","author":"J Demmel","year":"2007","unstructured":"Demmel J, Nie J, and Powers V, Representations of positive polynomials on noncompact semialgebraic sets via KKT ideals, Journal of Pure and Applied Algebra, 2007, 209(1): 189\u2013200.","journal-title":"Journal of Pure and Applied Algebra"},{"issue":"1\u20132","key":"8351_CR41","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1007\/s10107-011-0489-4","volume":"137","author":"J Nie","year":"2013","unstructured":"Nie J, An exact Jacobian SDP relaxation for polynomial optimization, Mathematical Programming, 2013, 137(1\u20132): 225\u2013255.","journal-title":"Mathematical Programming"},{"issue":"3","key":"8351_CR42","doi-asserted-by":"publisher","first-page":"920","DOI":"10.1137\/050647098","volume":"17","author":"M Schweighofer","year":"2006","unstructured":"Schweighofer M, Global optimization of polynomials using gradient tentacles and sums of squares, SIAM Journal on Optimization, 2006, 17(3): 920\u2013942.","journal-title":"SIAM Journal on Optimization"},{"issue":"11","key":"8351_CR43","doi-asserted-by":"publisher","first-page":"2167","DOI":"10.1016\/j.jpaa.2009.03.014","volume":"213","author":"H V H\u00e0","year":"2009","unstructured":"H\u00e0 H V and Ph\u1ea1m T S, Solving polynomial optimization problems via the truncated tangency variety and sums of squares, J. Pure Appl. Algebra, 2009, 213(11): 2167\u20132176.","journal-title":"J. Pure Appl. Algebra"},{"issue":"6","key":"8351_CR44","doi-asserted-by":"publisher","first-page":"3082","DOI":"10.1137\/090772903","volume":"20","author":"H V H\u00e0","year":"2010","unstructured":"H\u00e0 H V and Ph\u1ea1m T S, Representations of positive polynomials and optimization on noncompact semialgebraic sets, SIAM Journal on Optimization, 2010, 20(6): 3082\u20133103.","journal-title":"SIAM Journal on Optimization"},{"key":"8351_CR45","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1145\/1837934.1837960","volume-title":"Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation","author":"F Guo","year":"2010","unstructured":"Guo F, Safey El Din M, and Zhi L, Global optimization of polynomials using generalized critical values and sums of squares, Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation, ACM, 2010, 107\u2013114."},{"issue":"5","key":"8351_CR46","doi-asserted-by":"publisher","first-page":"503","DOI":"10.1016\/j.jsc.2011.12.003","volume":"47","author":"A Greuet","year":"2012","unstructured":"Greuet A, Guo F, Safey El Din M, et al., Global optimization of polynomials restricted to a smooth variety using sums of squares, Journal of Symbolic Computation, 2012, 47(5): 503\u2013518.","journal-title":"Journal of Symbolic Computation"},{"key":"8351_CR47","first-page":"647","volume-title":"Annals of Mathematics","author":"P J Rabier","year":"1997","unstructured":"Rabier P J, Ehresmann fibrations and Palais-Smale conditions for morphisms of Finsler manifolds, Annals of Mathematics, 1997, 647\u2013691."},{"issue":"4","key":"8351_CR48","doi-asserted-by":"publisher","first-page":"659","DOI":"10.1007\/s00454-005-1203-1","volume":"34","author":"Z Jelonek","year":"2005","unstructured":"Jelonek Z and Kurdyka K, Quantitative generalized Bertini-Sard theorem for smooth affine varieties, Discrete and Computational Geometry, 2005, 34(4): 659\u2013678.","journal-title":"Discrete and Computational Geometry"},{"key":"8351_CR49","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-03718-8","volume-title":"Real Algebraic Geometry","author":"J Bochnak","year":"1998","unstructured":"Bochnak J, Coste M, and Roy M F, Real Algebraic Geometry, 36, Springer Science and Business Media, 1998."},{"key":"8351_CR50","volume-title":"A Singular Introduction to Commutative Algebra","author":"G M Greuel","year":"2012","unstructured":"Greuel G M and Pfister G, A Singular Introduction to Commutative Algebra, Springer Science and Business Media, 2012."},{"key":"8351_CR51","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-5350-1","volume-title":"Commutative Algebra: With a View Toward Algebraic Geometry","author":"D Eisenbud","year":"1995","unstructured":"Eisenbud D, Commutative Algebra: With a View Toward Algebraic Geometry, 150, Springer New York, 1995."},{"key":"8351_CR52","volume-title":"Computation of real radicals and global optimization of polynomials","author":"Z H Yang","year":"2018","unstructured":"Yang Z H, Computation of real radicals and global optimization of polynomials, PhD thesis, University of Chinese Academy of Sciences, 2018."},{"issue":"5\u20136","key":"8351_CR53","doi-asserted-by":"publisher","first-page":"748","DOI":"10.1002\/mana.201400364","volume":"289","author":"A Valette","year":"2016","unstructured":"Valette A and Valette G, A generalized Sard theorem on real closed fields, Mathematische Nachrichten, 2016, 289(5\u20136): 748\u2013755.","journal-title":"Mathematische Nachrichten"},{"issue":"1","key":"8351_CR54","doi-asserted-by":"publisher","first-page":"67","DOI":"10.4310\/jdg\/1090347525","volume":"56","author":"K Kurdyka","year":"2000","unstructured":"Kurdyka K, Orro P, and Simon S, Semialgebraic Sard theorem for generalized critical values, Journal of Differential Geometry, 2000, 56(1): 67\u201392.","journal-title":"Journal of Differential Geometry"},{"issue":"2","key":"8351_CR55","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/s00229-002-0320-x","volume":"110","author":"Z Jelonek","year":"2003","unstructured":"Jelonek Z, On the generalized critical values of a polynomial mapping, Manuscripta Mathematica, 2003, 110(2): 145\u2013157.","journal-title":"Manuscripta Mathematica"},{"issue":"65","key":"8351_CR56","doi-asserted-by":"publisher","first-page":"125","DOI":"10.4064\/bc65-0-9","volume":"1","author":"Z Jelonek","year":"2004","unstructured":"Jelonek Z, On asymptotic critical values and the Rabier theorem, Banach Center Publications, 2004, 1(65): 125\u2013133.","journal-title":"Banach Center Publications"},{"key":"8351_CR57","volume-title":"The Topology of Fiber Bundles Lecture Notes","author":"R L Cohen","year":"1998","unstructured":"Cohen R L, The Topology of Fiber Bundles Lecture Notes, Standford University, San Francisco, 1998."},{"key":"8351_CR58","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-35651-8","volume-title":"Ideals, Varieties, and Algorithms","author":"D Cox","year":"2007","unstructured":"Cox D, Little J, and O\u2019Shea D, Ideals, Varieties, and Algorithms, Springer, New York, 2007."},{"issue":"1","key":"8351_CR59","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1016\/S0022-4049(96)00103-X","volume":"124","author":"R Neuhaus","year":"1998","unstructured":"Neuhaus R, Computation of real radicals of polynomial ideals II, Journal of Pure and Applied Algebra, 1998, 124(1): 261\u2013280.","journal-title":"Journal of Pure and Applied Algebra"},{"key":"8351_CR60","first-page":"1","volume-title":"Computation of real radicals of polynomial ideals","author":"E Becker","year":"1993","unstructured":"Becker E and Neuhaus R, Computation of real radicals of polynomial ideals, Computational Algebraic Geometry, Springer, 1993, 1\u201320."},{"key":"8351_CR61","volume-title":"On the Computation of the Real Radical","author":"S J Spang","year":"2007","unstructured":"Spang S J, On the Computation of the Real Radical, PhD thesis, Thesis, Technische Universit\u00e4t Kaiserslautern, 2007."},{"issue":"1","key":"8351_CR62","first-page":"64","volume":"16","author":"S J Spang","year":"2008","unstructured":"Spang S J, A zero-dimensional approach to compute real radicals, The Computer Science Journal of Moldova, 2008, 16(1): 64\u201392.","journal-title":"The Computer Science Journal of Moldova"},{"key":"8351_CR63","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1145\/3208976.3209002","volume-title":"Proceedings of the 2018 International Symposium on Symbolic and Algebraic Computation, ISSAC\u201918","author":"M Safey El Din","year":"2018","unstructured":"Safey El Din M, Yang Z H, and Zhi L, On the complexity of computing real radicals of polynomial systems, Proceedings of the 2018 International Symposium on Symbolic and Algebraic Computation, ISSAC\u201918, (New York, USA), ACM, 2018, 351\u2013358."},{"issue":"6","key":"8351_CR64","doi-asserted-by":"publisher","first-page":"543","DOI":"10.1006\/jsco.2002.0563","volume":"34","author":"P Aubry","year":"2002","unstructured":"Aubry P, Rouillier F, and Safey El Din M, Real solving for positive dimensional systems, Journal of Symbolic Computation, 2002, 34(6): 543\u2013560.","journal-title":"Journal of Symbolic Computation"},{"issue":"3","key":"8351_CR65","first-page":"417","volume":"32","author":"M Safey El Din","year":"2004","unstructured":"Safey El Din M and Schost \u00c9, Properness defects of projections and computation of at least one point in each connected component of a real algebraic set, Discrete & Computational Geometry, 2004, 32(3): 417\u2013430.","journal-title":"Discrete & Computational Geometry"},{"key":"8351_CR66","volume-title":"MEGA (Effective Methods in Algebraic Geometry) Electronic Proceedings","author":"M Safey El Din","year":"2005","unstructured":"Safey El Din M, Finding sampling points on real hypersurfaces is easier in singular situations, MEGA (Effective Methods in Algebraic Geometry) Electronic Proceedings, 2005."},{"issue":"1","key":"8351_CR67","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1007\/s11786-007-0003-9","volume":"1","author":"M Safey El Din","year":"2007","unstructured":"Safey El Din M, Testing sign conditions on a multivariate polynomial and applications, Mathematics in Computer Science, 2007, 1(1): 177\u2013207.","journal-title":"Mathematics in Computer Science"},{"key":"8351_CR68","first-page":"195","volume-title":"International Symposium on Applied Algebra","author":"T Krick","year":"1991","unstructured":"Krick T and Logar A, An algorithm for the computation of the radical of an ideal in the ring of polynomials, International Symposium on Applied Algebra, Algebraic Algorithms, and Error-Correcting Codes, Springer, 1991, 195\u2013205."}],"container-title":["Journal of Systems Science and Complexity"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11424-019-8351-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11424-019-8351-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11424-019-8351-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,9,11]],"date-time":"2022-09-11T21:21:22Z","timestamp":1662931282000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11424-019-8351-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,2]]},"references-count":68,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2019,2]]}},"alternative-id":["8351"],"URL":"https:\/\/doi.org\/10.1007\/s11424-019-8351-5","relation":{},"ISSN":["1009-6124","1559-7067"],"issn-type":[{"value":"1009-6124","type":"print"},{"value":"1559-7067","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,2]]},"assertion":[{"value":"30 July 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"27 September 2018","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"14 February 2019","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}