{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T03:45:01Z","timestamp":1648871101551},"reference-count":5,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2006,12,1]],"date-time":"2006-12-01T00:00:00Z","timestamp":1164931200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Jrl Syst Sci & Complex"],"published-print":{"date-parts":[[2006,12]]},"DOI":"10.1007\/s11424-006-0470-0","type":"journal-article","created":{"date-parts":[[2006,12,7]],"date-time":"2006-12-07T15:14:43Z","timestamp":1165504483000},"page":"470-477","source":"Crossref","is-referenced-by-count":0,"title":["Elimination and Identities with the Integral Sign"],"prefix":"10.1007","volume":"19","author":[{"given":"Hongmei","family":"Liu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tianming","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"470_CR1","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1016\/0377-0427(90)90042-X","volume":"32","author":"D. Zeilberger","year":"1990","unstructured":"D. Zeilberger, A holonomic systems approach to special functions identities, J. of Computational and Applied Math., 1990, 32: 321\u2013368.","journal-title":"J. of Computational and Applied Math."},{"key":"470_CR2","doi-asserted-by":"crossref","first-page":"571","DOI":"10.1016\/S0747-7171(08)80159-9","volume":"10","author":"G. Almkvist","year":"1990","unstructured":"G. Almkvist and D. Zeilberger, The method of differentiation under the integral sign, J. Symbolic Computation, 1990, 10: 571\u2013591.","journal-title":"J. Symbolic Computation"},{"key":"470_CR3","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1006\/jsco.1998.0207","volume":"26","author":"F. Chyzak","year":"1998","unstructured":"F. Chyzak and B. Salvy, Non-commutative elimination in ore algebras proves multivariate indentities, J. Symbolic Computation, 1998, 26: 187\u2013227.","journal-title":"J. Symbolic Computation"},{"key":"470_CR4","first-page":"207","volume":"4","author":"W. T. Wu","year":"1984","unstructured":"W. T. Wu, Basic principles of mechanical theorem-proving in elementary geometries, J. Sys. Sci. & Math. Sci., 1984, 4: 207\u2013235.","journal-title":"J. Sys. Sci. & Math. Sci."},{"key":"470_CR5","doi-asserted-by":"crossref","first-page":"575","DOI":"10.1007\/BF02100618","volume":"108","author":"H. S. Wilf","year":"1992","unstructured":"H. S. Wilf and D. Zeilberger, An algorithmic proof theory for hypergeomitric (ordinary and \u201cq\u201d) multisum\/integral identities, Invent. Math., 1992, 108: 575\u2013633.","journal-title":"Invent. Math."}],"container-title":["Journal of Systems Science and Complexity"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11424-006-0470-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11424-006-0470-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11424-006-0470-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T14:53:55Z","timestamp":1559400835000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11424-006-0470-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,12]]},"references-count":5,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2006,12]]}},"alternative-id":["470"],"URL":"https:\/\/doi.org\/10.1007\/s11424-006-0470-0","relation":{},"ISSN":["1009-6124","1559-7067"],"issn-type":[{"value":"1009-6124","type":"print"},{"value":"1559-7067","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,12]]}}}