{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,13]],"date-time":"2023-09-13T21:20:18Z","timestamp":1694640018681},"reference-count":41,"publisher":"Springer Science and Business Media LLC","issue":"9","license":[{"start":{"date-parts":[[2010,9,1]],"date-time":"2010-09-01T00:00:00Z","timestamp":1283299200000},"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":[[2010,9]]},"DOI":"10.1007\/s11432-010-4037-2","type":"journal-article","created":{"date-parts":[[2010,9,3]],"date-time":"2010-09-03T23:26:57Z","timestamp":1283556417000},"page":"1800-1815","source":"Crossref","is-referenced-by-count":0,"title":["Mechanical decision for a class of integral inequalities"],"prefix":"10.1007","volume":"53","author":[{"given":"Lu","family":"Yang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"WenSheng","family":"Yu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"RuYi","family":"Yuan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2010,9,5]]},"reference":[{"key":"4037_CR1","volume-title":"Automated Proving and Discovering for Inequalities (Series in Mathematical Mechanization)(in Chinese)","author":"L. Yang","year":"2008","unstructured":"Yang L, Xia B C. Automated Proving and Discovering for Inequalities (Series in Mathematical Mechanization)(in Chinese). Beijing: Science Press, 2008"},{"key":"4037_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4684-0062-5","volume-title":"Probability Theory","author":"Y. S. Chow","year":"1978","unstructured":"Chow Y S, Teicher H. Probability Theory. New York: Springer, 1978"},{"key":"4037_CR3","volume-title":"Integral Equations and Stability of Feedback Systems","author":"C. Corduneanu","year":"1973","unstructured":"Corduneanu C. Integral Equations and Stability of Feedback Systems. London and New York: Springer-Verlag, 1973"},{"key":"4037_CR4","volume-title":"Methods of Mathematical Physics","author":"R. Courant","year":"1953","unstructured":"Courant R, Hilbert D. Methods of Mathematical Physics. New York: Interscience Publishing Company, 1953"},{"key":"4037_CR5","volume-title":"Stastistics of Random Processes","author":"R. S. Liptser","year":"1977","unstructured":"Liptser R S, Shiryayev A N. Stastistics of Random Processes. New York: Springer, 1977"},{"key":"4037_CR6","first-page":"383","volume":"32","author":"L. Wang","year":"2003","unstructured":"Wang L, Yu W S, Zhang L. On the number of positive solutions to a class of integral equations. Control Cybern, 2003, 32: 383\u2013395","journal-title":"Control Cybern"},{"key":"4037_CR7","doi-asserted-by":"crossref","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, 2003, 284: 174\u2013190","journal-title":"J Math Anal Appl"},{"key":"4037_CR8","doi-asserted-by":"crossref","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 II: Lattice general results and positivity criteria for degrees 4 and 5. J Math Anal Appl, 2005, 304: 652\u2013667","journal-title":"J Math Anal Appl"},{"key":"4037_CR9","doi-asserted-by":"crossref","first-page":"565","DOI":"10.1016\/j.jmaa.2005.01.047","volume":"307","author":"V. Timofte","year":"2005","unstructured":"Timofte V. On the positivity of symmetric polynomial functions. Part III: Extremal polynomials of degrees 4. J Math Anal Appl, 2005, 307: 565\u2013578","journal-title":"J Math Anal Appl"},{"key":"4037_CR10","first-page":"20","volume":"8","author":"L. Yang","year":"1998","unstructured":"Yang L. A dimension-decreasing algorithm with generic program for automated inequality proving (in Chinese). Chin High Tech Lett, 1998, 8: 20\u201325","journal-title":"Chin High Tech Lett"},{"key":"4037_CR11","doi-asserted-by":"crossref","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. J Comput Sci Tech, 1999, 14: 434\u2013446","journal-title":"J Comput Sci Tech"},{"key":"4037_CR12","first-page":"769","volume":"26","author":"L. Yang","year":"2003","unstructured":"Yang L, Xia S H. Automated proving for a class of constructive geometric inequalities (in Chinese). Chin J Comput, 2003, 26: 769\u2013778","journal-title":"Chin J Comput"},{"key":"4037_CR13","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 mathematics. In: Proceedings of the 10th Asian Technology Conference in Mathematics. ATCM Inc, Blacksburg, 2005. 37\u201346"},{"key":"4037_CR14","first-page":"1","volume":"5","author":"L. Yang","year":"2006","unstructured":"Yang L. Difference substitution and automated inequality proving (in Chinese). J Guangzhou Univ (Nat Sci Ed), 2006, 5: 1\u20137","journal-title":"J Guangzhou Univ (Nat Sci Ed)"},{"key":"4037_CR15","first-page":"143","volume-title":"Preproceedings of the 7th International workshop on Automated Deduction in Geometry","author":"L. Yang","year":"2008","unstructured":"Yang L. Deciding the nonnegativity of multivariate polynomials without cell-decomposition. In: Preproceedings of the 7th International workshop on Automated Deduction in Geometry. East China Normal University, Shanghai, 2008. 143\u2013153"},{"key":"4037_CR16","first-page":"1169","volume":"29","author":"L. Yang","year":"2009","unstructured":"Yang L, Yao Y. Difference substitution matrices and decision on nonnegativity of polynomials (in Chinese). J Syst Sci Math Sci, 2009, 29: 1169\u20131177","journal-title":"J Syst Sci Math Sci"},{"key":"4037_CR17","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1360\/za2010-40-3-251","volume":"53","author":"Y. Yao","year":"2010","unstructured":"Yao Y. Infinite product convergence of column stochastic mean matrix and machine decision for positive semi-definite forms (in Chinese). Sci Sin Math, 2010, 53: 251\u2013264 (also see http:\/\/arxiv.org\/abs\/0904.4030 for English version)","journal-title":"Sci Sin Math"},{"key":"4037_CR18","volume-title":"Principles of Mathematical Analysis","author":"W. Rudin","year":"1976","unstructured":"Rudin W. Principles of Mathematical Analysis. 3rd ed. New York: McGraw-Hill, 1976","edition":"3rd ed"},{"key":"4037_CR19","doi-asserted-by":"crossref","DOI":"10.1525\/9780520348097","volume-title":"A Decision Method for Elementary Algebra and Geometry","author":"A. Tarski","year":"1951","unstructured":"Tarski A. A Decision Method for Elementary Algebra and Geometry. Berkeley: The University of California Press, 1951"},{"key":"4037_CR20","volume-title":"Mechanical Geometry Theorem Proving","author":"S. C. Chou","year":"1988","unstructured":"Chou S C. Mechanical Geometry Theorem Proving. Dordrecht: Reidel, 1988"},{"key":"4037_CR21","first-page":"150","volume":"21","author":"W. T. Wu","year":"1978","unstructured":"Wu W T. On the decision problem and the mechanization of theorem-proving in elementary geometry. Sci China, 1978, 21: 150\u2013172","journal-title":"Sci China"},{"key":"4037_CR22","volume-title":"Mechanical Theorem Proving in Geometries: Basic Principle","author":"W. T. Wu","year":"1984","unstructured":"Wu W T. Mechanical Theorem Proving in Geometries: Basic Principle. (Jin X, Wang D, trans.) New York: Springer, 1984"},{"key":"4037_CR23","volume-title":"Mathematical Mechanization (Series in Mathematical Mechanization)(in Chinese)","author":"W. T. Wu","year":"2003","unstructured":"Wu W T. Mathematical Mechanization (Series in Mathematical Mechanization)(in Chinese). Beijing: Science Press, 2003"},{"key":"4037_CR24","doi-asserted-by":"crossref","first-page":"184","DOI":"10.1007\/978-94-009-5225-6_6","volume-title":"Multidimensional Systems Theory","author":"B. Buchberger","year":"1985","unstructured":"Buchberger B. Grobner bases: an algorithmic method in polynomial ideal theory. In: Multidimensional Systems Theory. Dordrecht: Reidel, 1985. 184\u2013232"},{"key":"4037_CR25","first-page":"202","volume-title":"Proc SYMSAC\u201986","author":"D. Kapur","year":"1986","unstructured":"Kapur D. Geometry theorem proving using Hilbert\u2019s Nullstellensata. In: Proc SYMSAC\u201986. New York: ACM Press, 1986. 202\u2013208"},{"key":"4037_CR26","first-page":"209","volume-title":"Proc SYMSAC\u201986","author":"B. Kutzler","year":"1986","unstructured":"Kutzler B, Stifter S. Automated geometry theorem proving using Buchberger\u2019s algorithm. In: Proc SYMSAC\u201986. New York: ACM Press, 1986. 209\u2013214"},{"key":"4037_CR27","volume-title":"Nonlinear Algebraic Equation Systems and Automated Theorem Proving (Series in Nonlinear Sciences)(in Chinese)","author":"L. Yang","year":"1996","unstructured":"Yang L, Zhang J Z, Hou X R. Nonlinear Algebraic Equation Systems and Automated Theorem Proving (Series in Nonlinear Sciences)(in Chinese). Shanghai: Shanghai Scientific and Technological Education Publishing House, 1996"},{"key":"4037_CR28","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1016\/0304-3975(90)90077-U","volume":"74","author":"J. Z. Zhang","year":"1990","unstructured":"Zhang J Z, Yang L, Deng M K. The parallel numerical method of mechanical theorem proving. Theo Comput Sci, 1990, 74: 253\u2013271","journal-title":"Theo Comput Sci"},{"key":"4037_CR29","doi-asserted-by":"crossref","DOI":"10.1142\/2196","volume-title":"Machine Proofs in Geometry: Automated Production of Readable Proofs for Geometry Theorems","author":"S. C. Chou","year":"1994","unstructured":"Chou S C, Zhang J Z, Gao X S. Machine Proofs in Geometry: Automated Production of Readable Proofs for Geometry Theorems. Singapore: World Scientific, 1994"},{"key":"4037_CR30","doi-asserted-by":"crossref","first-page":"865","DOI":"10.1137\/0213054","volume":"13","author":"D. S. Arnon","year":"1984","unstructured":"Arnon D S, Collins G E, McCallum S. Cylindrical algebraic decomposition I: the basic algorithm. SIAM J Comput, 1984, 13: 865\u2013877","journal-title":"SIAM J Comput"},{"key":"4037_CR31","doi-asserted-by":"crossref","first-page":"878","DOI":"10.1137\/0213055","volume":"13","author":"D. S. 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, 1984, 13: 878\u2013889","journal-title":"SIAM J Comput"},{"key":"4037_CR32","doi-asserted-by":"crossref","first-page":"521","DOI":"10.1006\/jsco.2000.0394","volume":"31","author":"C. W. Brown","year":"2001","unstructured":"Brown C W. Simple CAD construction and its applications. J Symb Comput, 2001, 31: 521\u2013547","journal-title":"J Symb Comput"},{"key":"4037_CR33","series-title":"LNCS","first-page":"134","volume-title":"Automata Theory and Formal Languages","author":"G. E. Collins","year":"1975","unstructured":"Collins G E. Quantifier elimination for real closed fields by cylindrical algebraic decomposition. In: Brakhage H, ed. Automata Theory and Formal Languages, LNCS Vol. 33. Berlin Heidelberg: Springer, 1975. 134\u2013165"},{"key":"4037_CR34","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":"4037_CR35","first-page":"156","volume-title":"Proc ISSAC\u201905","author":"S. Gerhold","year":"2005","unstructured":"Gerhold S, Kauers M. A procedure for proving special function inequalities involving a discrete parameter. In: Proc ISSAC\u201905. New York: ACM Press, 2005. 156\u2013162"},{"key":"4037_CR36","first-page":"199","volume-title":"Proc ISSAC\u201904","author":"M. Kauers","year":"2004","unstructured":"Kauers M. Computer proofs for polynomial identities in arbitrary many variables. In: Proc ISSAC\u201904. New York: ACM Press, 2004. 199\u2013204"},{"key":"4037_CR37","doi-asserted-by":"crossref","first-page":"1611","DOI":"10.1007\/s11425-007-0090-8","volume":"50","author":"L. Yang","year":"2007","unstructured":"Yang L, Feng Y, Yao Y. A class of mechanically decidable problems beyond Tarski\u2019s model. Sci China Ser A-Math, 2007, 50: 1611\u20131620","journal-title":"Sci China Ser A-Math"},{"key":"4037_CR38","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 for automated discovering of 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":"4037_CR39","first-page":"628","volume":"39","author":"L. Yang","year":"1996","unstructured":"Yang L, Hou X R, Zeng Z B. A complete discrimination system for polynomials. Sci China Ser E-Tech Sci, 1996, 39: 628\u2013646","journal-title":"Sci China Ser E-Tech Sci"},{"key":"4037_CR40","doi-asserted-by":"crossref","first-page":"133","DOI":"10.21136\/MB.2009.140649","volume":"134","author":"J. J. Wen","year":"2009","unstructured":"Wen J J, Cheng S S, Gao C B. Optimal sublinear inequalities involving geometric and power means. Math Bohem, 2009, 134: 133\u2013149","journal-title":"Math Bohem"},{"key":"4037_CR41","first-page":"625","volume":"52","author":"Y. Yao","year":"2009","unstructured":"Yao Y, Xu J. Descartes\u2019 law of signs for generalized polynomials and its application to dimension-decreasing method (in Chinese). Acta Math Sin, 2009, 52: 625\u2013630","journal-title":"Acta Math Sin"}],"container-title":["Science China Information Sciences"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-010-4037-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11432-010-4037-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-010-4037-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,8]],"date-time":"2021-11-08T05:56:08Z","timestamp":1636350968000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11432-010-4037-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,9]]},"references-count":41,"journal-issue":{"issue":"9","published-print":{"date-parts":[[2010,9]]}},"alternative-id":["4037"],"URL":"https:\/\/doi.org\/10.1007\/s11432-010-4037-2","relation":{},"ISSN":["1674-733X","1869-1919"],"issn-type":[{"value":"1674-733X","type":"print"},{"value":"1869-1919","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,9]]}}}