{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T02:30:35Z","timestamp":1649125835643},"reference-count":16,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2011,2,28]],"date-time":"2011-02-28T00:00:00Z","timestamp":1298851200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Sci. China Inf. Sci."],"published-print":{"date-parts":[[2011,4]]},"DOI":"10.1007\/s11432-010-4178-3","type":"journal-article","created":{"date-parts":[[2011,2,28]],"date-time":"2011-02-28T21:27:55Z","timestamp":1298928475000},"page":"778-786","source":"Crossref","is-referenced-by-count":1,"title":["Some geometric properties of successive difference substitutions"],"prefix":"10.1007","volume":"54","author":[{"given":"XiaoRong","family":"Hou","sequence":"first","affiliation":[]},{"given":"Song","family":"Xu","sequence":"additional","affiliation":[]},{"given":"JunWei","family":"Shao","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2011,2,28]]},"reference":[{"key":"4178_CR1","doi-asserted-by":"crossref","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 J Opt, 2001, 11: 796\u2013817","journal-title":"SIAM J Opt"},{"key":"4178_CR2","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1007\/s10107-003-0387-5","volume":"96","author":"P. A. Parrilo","year":"2003","unstructured":"Parrilo P A. Semidefinite programming relaxations for semialgebraic problems. Math Prog Ser B, 2003, 96: 293\u2013320","journal-title":"Math Prog Ser B"},{"key":"4178_CR3","volume-title":"Positive Polynomials in Control. Vol. 312","year":"2005","unstructured":"Henrion D, Garulli A, eds. Positive Polynomials in Control. Vol. 312. New York: Springer, 2005"},{"key":"4178_CR4","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1016\/S0747-7171(08)80152-6","volume":"12","author":"G. E. Collins","year":"1991","unstructured":"Collins G E, Hong H. Partial cylindrical algebraic decomposition for quantifier elimination. J Symb Comput, 1991, 12: 299\u2013328","journal-title":"J Symb Comput"},{"key":"4178_CR5","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/BF02713938","volume":"44","author":"L. Yang","year":"2001","unstructured":"Yang L, Hou X R, Xia B C. A complete algorithm of automated discovering for a class of inequality type theorems. Sci China Ser F-Inf Sci, 2001, 44: 33\u201349","journal-title":"Sci China Ser F-Inf Sci"},{"key":"4178_CR6","volume-title":"Problems and Theorems in Analysis. Vol. 2","author":"G. P\u00f3lya","year":"1972","unstructured":"P\u00f3lya G, Szego G. Problems and Theorems in Analysis. Vol. 2. New York: Springer-Verlag, 1972"},{"key":"4178_CR7","volume-title":"Inequalities","author":"G. H. Hardy","year":"1952","unstructured":"Hardy G H, Littlcwood J E, P\u00f3lya G. Inequalities. Cambridge: Cambridge University Press, 1952"},{"key":"4178_CR8","doi-asserted-by":"crossref","first-page":"555","DOI":"10.4310\/MRL.1997.v4.n4.a11","volume":"4","author":"D. W. Catlin","year":"1997","unstructured":"Catlin D W, D\u2019Angelo J P. Positivity conditions for bihomogeneous polynomials. Math Res Lett, 1997, 4: 555\u2013567","journal-title":"Math Res Lett"},{"key":"4178_CR9","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1017\/S0143385700003291","volume":"6","author":"D. Handelman","year":"1986","unstructured":"Handelman D. Deciding eventual positivity of polynomials. Ergod Th & Dynam, 1986, 6: 57\u201359","journal-title":"Ergod Th & Dynam"},{"key":"4178_CR10","first-page":"37","volume-title":"Proceedings of the 10th Asian Technology Conference in Mathematics","author":"L. Yang","year":"2005","unstructured":"Yang L. Solving harder problems with lesser mathematic. In: Proceedings of the 10th Asian Technology Conference in Mathematics. Singapore: National Institute of Education, 2005. 37\u201346"},{"key":"4178_CR11","first-page":"163","volume-title":"Automated Proving and Discovering on Inequalities (in Chinese)","author":"L. Yang","year":"2008","unstructured":"Yang L, Xia B C. Automated Proving and Discovering on Inequalities (in Chinese). Beijing: Science Press, 2008. 163\u2013175"},{"key":"4178_CR12","unstructured":"Yao Y. Termination of the sequence of SDS sets and machine decision for positive semi-definite forms. arXiv: 0904.4030"},{"key":"4178_CR13","first-page":"57","volume-title":"ASCM 2007","author":"L. Y. Chen","year":"2007","unstructured":"Chen L Y, Zeng Z B. Which symmetric homogeneous polynomials can be proved positive semi-definite by difference substitution method? In: ASCM 2007. Singapore: National Institute of Education, 2007. 57\u201371"},{"key":"4178_CR14","first-page":"2834","volume":"27","author":"J. C. Zhang","year":"2007","unstructured":"Zhang J C, Liang Y Z, Zhen B. Hybrid high performance model of computer algebra system (in Chinese). J Comput Appl, 2007, 27: 2834\u20132837","journal-title":"J Comput Appl"},{"key":"4178_CR15","volume-title":"Algebraic Topology","author":"E. H. Spanier","year":"1966","unstructured":"Spanier E H. Algebraic Topology. New York: Springer-Verlag, 1966"},{"key":"4178_CR16","volume-title":"Elements of Algebraic Topology","author":"J. R. Munkres","year":"1984","unstructured":"Munkres J R. Elements of Algebraic Topology. Reading, MA: Addison Wesley Publishing Company, 1984"}],"container-title":["Science China Information Sciences"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-010-4178-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11432-010-4178-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-010-4178-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,8]],"date-time":"2019-06-08T22:17:25Z","timestamp":1560032245000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11432-010-4178-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,2,28]]},"references-count":16,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2011,4]]}},"alternative-id":["4178"],"URL":"https:\/\/doi.org\/10.1007\/s11432-010-4178-3","relation":{},"ISSN":["1674-733X","1869-1919"],"issn-type":[{"value":"1674-733X","type":"print"},{"value":"1869-1919","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,2,28]]}}}