{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T18:41:20Z","timestamp":1743014480413,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662437988"},{"type":"electronic","value":"9783662437995"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-662-43799-5_20","type":"book-chapter","created":{"date-parts":[[2014,9,30]],"date-time":"2014-09-30T03:46:18Z","timestamp":1412048778000},"page":"261-274","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A Simple Quantifier-Free Formula of Positive Semidefinite Cyclic Ternary Quartic Forms"],"prefix":"10.1007","author":[{"given":"Jingjun","family":"Han","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,10,1]]},"reference":[{"key":"20_CR1","doi-asserted-by":"publisher","first-page":"878","DOI":"10.1137\/0213055","volume":"13","author":"DS Arnon","year":"1984","unstructured":"Arnon, D.S., Collins, G.E., McCallum, S.: Cylindrical algebraic decomposition II: An adjacency algorithm for the plane. SIAM J. Comput. 13, 878\u2013889 (1984)","journal-title":"SIAM J. Comput."},{"key":"20_CR2","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1016\/S0747-7171(88)80011-7","volume":"5","author":"DS Arnon","year":"1988","unstructured":"Arnon, D.S., Collins, G.E., McCallum, S.: Cylindrical algebraic decomposition III: An adjacency algorithm for three-dimensional space. J. Symb. Comput. 5, 163\u2013187 (1988)","journal-title":"J. Symb. Comput."},{"key":"20_CR3","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1016\/S0747-7171(88)80014-2","volume":"5","author":"DS Arnon","year":"1988","unstructured":"Arnon, D.S., Mignotte, M.: On mechanical quantifier elimination for elementary algebra and geometry. J. Symb. Comput. 5, 237\u2013260 (1988)","journal-title":"J. Symb. Comput."},{"key":"20_CR4","doi-asserted-by":"publisher","first-page":"521","DOI":"10.1006\/jsco.2000.0394","volume":"31","author":"CW Brown","year":"2001","unstructured":"Brown, C.W.: Simple CAD construction and its applications. J. Symb. Comput. 31, 521\u2013547 (2001)","journal-title":"J. Symb. Comput."},{"key":"20_CR5","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1006\/jsco.2001.0463","volume":"32","author":"CW Brown","year":"2001","unstructured":"Brown, C.W.: Improved projection for cylindrical algebraic decomposition. J. Symb. Comput. 32, 447\u2013465 (2001)","journal-title":"J. Symb. Comput."},{"key":"20_CR6","doi-asserted-by":"publisher","first-page":"859","DOI":"10.1016\/j.jsc.2011.12.012","volume":"7","author":"CW Brown","year":"2012","unstructured":"Brown, C.W.: Fast simplifications for Tarski formulas based on monomial inequalities. J. Symb. Comput. 7, 859\u2013882 (2012)","journal-title":"J. Symb. Comput."},{"key":"20_CR7","doi-asserted-by":"crossref","unstructured":"Brown, C.W., McCallum, S.: On using bi-equational constraints in CAD construction. In: Kauers, M. (ed.) Proceedings of ISSAC2005, pp. 76\u201383. ACM Press, New York (2005)","DOI":"10.1145\/1073884.1073897"},{"key":"20_CR8","doi-asserted-by":"crossref","unstructured":"Chen, C., Davenport, J.H., May, J.P., Moreno Maza, M., Xia, B., Xiao, R.: Triangular decomposition of semi-algebraic systems. In: Proceedings of ISSAC 2010, ACM Press (2010)","DOI":"10.1145\/1837934.1837972"},{"volume-title":"Quantifier Elimination and Cylindrical Algebraic Decomposition","year":"1998","key":"20_CR9","unstructured":"Caviness, B.F., Johnson, J.R. (eds.): Quantifier Elimination and Cylindrical Algebraic Decomposition. Springer, Berlin (1998)"},{"key":"20_CR10","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1016\/S0747-7171(08)80152-6","volume":"12","author":"GE Collins","year":"1991","unstructured":"Collins, G.E., Hong, H.: Partial cylindrical algebraic decomposition for quantifier elimination. J. Symb. Comput. 12, 299\u2013328 (1991)","journal-title":"J. Symb. Comput."},{"key":"20_CR11","doi-asserted-by":"publisher","first-page":"559","DOI":"10.1007\/BF01166704","volume":"195","author":"MD Choi","year":"1987","unstructured":"Choi, M.D., Lam, T.Y., Reznick, B.: Even symmetric sextics. Math. Zeitschr. 195, 559\u2013580 (1987)","journal-title":"Math. Zeitschr."},{"key":"20_CR12","doi-asserted-by":"crossref","unstructured":"Collins, G.E.: Quantifier elimination for real closed fields by cylindrical algebraic decomposition. In: Lecture Notes in Computer Science 33, pp. 134\u2013165. Springer, Berlin (1975)","DOI":"10.1007\/3-540-07407-4_17"},{"key":"20_CR13","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1007\/978-3-7091-9459-1_2","volume-title":"Quantifier Elimination and Cylindrical Algebraic Decomposition","author":"GE Collins","year":"1998","unstructured":"Collins, G.E.: Quantifier elimination by cylindrical algebraic decomposition\u201420 years of progress. In: Caviness, B., Johnson, J. (eds.) Quantifier Elimination and Cylindrical Algebraic Decomposition, pp. 8\u201323. Springer, New York (1998)"},{"key":"20_CR14","doi-asserted-by":"crossref","unstructured":"Gonz\u00e1lez-Vega, L., Lombardi, H., Recio, T., Roy, M.F.: Sturm-habicht sequence. In: Proceedings of ISSAC89, pp. 136\u2013146. ACM Press (1989)","DOI":"10.1145\/74540.74558"},{"key":"20_CR15","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/978-3-7091-9459-1_19","volume-title":"Quantifier Elimination and Cylindrical Algebraic Decomposition","author":"L Gonz\u00e1lez-Vega","year":"1998","unstructured":"Gonz\u00e1lez-Vega, L.: A combinatorial algorithm solving some quantifier elimination problems. In: Caviness, B., Johnson, J. (eds.) Quantifier Elimination and Cylindrical Algebraic Decomposition, pp. 365\u2013375. Springer, New York (1998)"},{"key":"20_CR16","unstructured":"Han, J.J.: An introduction to the proving of elementary inequalities. Harbin: Harbin Institute of Technology Press, pp. 234\u2013266 (2011) (in Chinese)"},{"key":"20_CR17","doi-asserted-by":"publisher","first-page":"204","DOI":"10.1006\/jabr.1998.8012","volume":"222","author":"WR Harris","year":"1999","unstructured":"Harris, W.R.: Real even symmetric ternary forms. J. Algebra 222, 204\u2013245 (1999)","journal-title":"J. Algebra"},{"key":"20_CR18","doi-asserted-by":"publisher","first-page":"342","DOI":"10.1007\/BF01443605","volume":"32","author":"D Hilbert","year":"1888","unstructured":"Hilbert, D.: \u00dcber die Darstellung definiter Formen als Summe von Formenquadraten. Math. Ann. 32, 342\u2013350 (1888)","journal-title":"Math. Ann."},{"key":"20_CR19","doi-asserted-by":"crossref","unstructured":"Hong, H.: An improvement of the projection operator in cylindrical algebraic decomposition. In: Watanabe, S., Nagata, M. (eds.) Proceedings of ISSAC 90, pp. 261\u2013264. ACM Press, New York (1990)","DOI":"10.1145\/96877.96943"},{"key":"20_CR20","doi-asserted-by":"crossref","unstructured":"Hong, H.: Simple solution formula construction in cylindrical algebraic decomposition based quantifier elimination. In: Wang, P.S., (ed.) Proceedings of ISSAC \u201992, pp. 177\u2013188. ACM Press, New York (1992)","DOI":"10.1145\/143242.143306"},{"key":"20_CR21","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1016\/S0747-7171(88)80015-4","volume":"5","author":"D Lazard","year":"1988","unstructured":"Lazard, D.: Quantifier elimination: optimal solution for two classical examples. J. Symb. Comput. 5, 261\u2013266 (1988)","journal-title":"J. Symb. Comput."},{"key":"20_CR22","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1016\/S0747-7171(88)80010-5","volume":"5","author":"S McCallum","year":"1988","unstructured":"McCallum, S.: An improved projection operation for cylindrical algebraic decomposition of three-dimensional space. J. Symb. Comput. 5, 141\u2013161 (1988)","journal-title":"J. Symb. Comput."},{"key":"20_CR23","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 operator for cylindrical algebraic decomposition. In: Caviness, B., Johnson, J. (eds.) Quantifier Elimination and Cylindrical Algebraic Decomposition, pp. 242\u2013268. Springer, New York (1998)"},{"key":"20_CR24","doi-asserted-by":"crossref","unstructured":"McCallum, S., Brown, C.W.: On delineability of varieties in CAD-based quantifier elimination with two equational constraints. In: Proceedings of ISSAC\u2019 2009: pp. 71\u201378","DOI":"10.1145\/1576702.1576715"},{"key":"20_CR25","volume-title":"A decision method for elementary algebra and geometry","author":"A Tarski","year":"1948","unstructured":"Tarski, A.: A decision method for elementary algebra and geometry. The RAND Corporation, SantaMonica (1948)"},{"key":"20_CR26","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1016\/S0022-247X(03)00301-9","volume":"284","author":"V Timofte","year":"2003","unstructured":"Timofte, V.: On the positivity of symmetric polynomial functions, Part I: General results. J. Math. Anal. Appl. 284, 174\u2013190 (2003)","journal-title":"J. Math. Anal. Appl."},{"key":"20_CR27","doi-asserted-by":"publisher","first-page":"652","DOI":"10.1016\/j.jmaa.2004.09.055","volume":"304","author":"V Timofte","year":"2005","unstructured":"Timofte, V.: On the positivity of symmetric polynomial functions, Part 2: Lattice general results and positivity criteria for degree 4 and 5. J. Math. Anal. Appl. 304, 652\u2013667 (2005)","journal-title":"J. Math. Anal. Appl."},{"key":"20_CR28","doi-asserted-by":"crossref","unstructured":"Weispfenning, V.: Quantifier elimination for real algebra\u2014the cubic case. In: Proceedings of ISSAC 94, pp. 258\u2013263. ACM Press, Oxford (1994)","DOI":"10.1145\/190347.190425"},{"key":"20_CR29","doi-asserted-by":"publisher","first-page":"376","DOI":"10.1007\/978-3-7091-9459-1_20","volume-title":"Quantifier Elimination and Cylindrical Algebraic Decomposition","author":"V Weispfenning","year":"1998","unstructured":"Weispfenning, V.: A new approach to quantifier elimination for real algebra. In: Caviness, B., Johnson, J. (eds.) Quantifier Elimination and Cylindrical Algebraic Decomposition, pp. 376\u2013392. Springer, New York (1998)"},{"key":"20_CR30","first-page":"183","volume":"21","author":"A Yan","year":"2001","unstructured":"Yan, A., Xia, S., Huang, L.: Single point creterion method for positive semidefinite bivariate polynomials over field of rationals. Comput. Appl. 21, 183\u2013184 (2001). (in Chinese)","journal-title":"Comput. Appl."},{"key":"20_CR31","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1006\/jsco.1998.0274","volume":"28","author":"L Yang","year":"1999","unstructured":"Yang, L.: Recent advances on determining the number of real roots of parametric polynomials. J. Symbolic Comput. 28, 225\u2013242 (1999)","journal-title":"J. Symbolic Comput."},{"key":"20_CR32","first-page":"628","volume":"39","author":"L Yang","year":"1996","unstructured":"Yang, L., Hou, X., Zeng, Z.: A complete discrimination system for polynomials. Science in China (Ser. E) 39, 628\u2013646 (1996)","journal-title":"Science in China (Ser. E)"},{"issue":"3","key":"20_CR33","first-page":"313","volume":"28","author":"Y Yao","year":"2008","unstructured":"Yao, Y., Feng, Y.: Automated decision of positive of symmetric quintic forms. J. Sys. Scince Math. Sciences 28(3), 313\u2013324 (2008). (in Chinese)","journal-title":"J. Sys. Scince Math. Sciences"}],"container-title":["Computer Mathematics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-43799-5_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,8]],"date-time":"2023-02-08T02:50:19Z","timestamp":1675824619000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-662-43799-5_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662437988","9783662437995"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-43799-5_20","relation":{},"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"1 October 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}