{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,2]],"date-time":"2026-04-02T03:14:26Z","timestamp":1775099666296,"version":"3.50.1"},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2005,2,22]],"date-time":"2005-02-22T00:00:00Z","timestamp":1109030400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["AAECC"],"published-print":{"date-parts":[[2005,7]]},"DOI":"10.1007\/s00200-004-0167-3","type":"journal-article","created":{"date-parts":[[2005,2,22]],"date-time":"2005-02-22T10:57:29Z","timestamp":1109069849000},"page":"1-32","source":"Crossref","is-referenced-by-count":41,"title":["Degree Bounds to Find Polynomial Solutions of Parameterized Linear Difference Equations in \u03a0\u03a3-Fields"],"prefix":"10.1007","volume":"16","author":[{"given":"Carsten","family":"Schneider","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,2,22]]},"reference":[{"key":"167_CR1","first-page":"63","volume":"3","author":"Abramov","year":"1989","unstructured":"Abramov, S.A.: Problems in computer algebra that are connected with a search for polynomial solutions of linear differential and difference equations. Moscow Univ. Comput. Math. Cybernet. 3, 63\u201368 (1989)","journal-title":"Moscow Univ. Comput. Math. Cybernet."},{"key":"167_CR2","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1016\/S0041-5553(89)80002-3","volume":"29","author":"Abramov","year":"6","unstructured":"Abramov, S.A.: Rational solutions of linear differential and difference equations with polynomial coefficients. U.S.S.R. Comput. Math. Math. Phys. 29(6), 7\u201312 (1989)","journal-title":"U.S.S.R. Comput. Math. Math. Phys."},{"key":"167_CR3","doi-asserted-by":"crossref","unstructured":"Abramov, S.A.: Rational solutions of linear difference and q-difference equations with polynomial coefficients. In: T. Levelt, (ed.), Proc. ISSAC\u201995, ACM Press, New York, 1995, pp. 285\u2013289","DOI":"10.1145\/220346.220383"},{"key":"167_CR4","doi-asserted-by":"crossref","unstructured":"Abramov, S.A., Bronstein, M., Petkov\u0161ek, M.: On polynomial solutions of linear operator equations. In: T. Levelt, (ed.), Proc. ISSAC\u201995, ACM Press, New York, 1995, pp. 290\u2013296","DOI":"10.1145\/220346.220384"},{"key":"167_CR5","doi-asserted-by":"crossref","unstructured":"Andrews, G.E., Paule, P., Schneider, C.: Plane partitions VI: Stembridge\u2019s TSPP Theorem. To appear in the Dave Robbins memorial issue of Advances in Applied Math., 2005","DOI":"10.1016\/j.aam.2004.07.008"},{"key":"167_CR6","doi-asserted-by":"crossref","first-page":"841","DOI":"10.1006\/jsco.2000.0368","volume":"29","author":"Bronstein","year":"6","unstructured":"Bronstein, M.: On solutions of linear ordinary difference equations in their coefficient field. J. Symbolic Comput. 29(6), 841\u2013877 June 2000","journal-title":"J. Symbolic Comput."},{"key":"167_CR7","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1016\/S0012-365X(99)00259-9","volume":"217","author":"Chyzak","year":"2000","unstructured":"Chyzak, F.: An extension of Zeilberger\u2019s fast algorithm to general holonomic functions. Discrete Math. 217, 115\u2013134 (2000)","journal-title":"Discrete Math."},{"key":"167_CR8","unstructured":"Cohn, R.M.: Difference Algebra. Interscience Publishers, John Wiley & Sons, 1965"},{"key":"167_CR9","doi-asserted-by":"crossref","unstructured":"Driver, K., Prodinger, H., Schneider, C., Weideman, A.: Pad\u00e9 approximations to the logarithm II: Identities, recurrences, and symbolic computation. To appear in Ramanujan Journal, 2005","DOI":"10.1007\/s11139-006-6503-4"},{"key":"167_CR10","doi-asserted-by":"crossref","unstructured":"Driver, K., Prodinger, H., Schneider, C., Weideman, A.: Pad\u00e9 approximations to the logarithm III: Alternative methods and additional results. To appear in Ramanujan Journal, 2005","DOI":"10.1007\/s11139-006-0144-5"},{"key":"167_CR11","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1145\/322248.322255","volume":"28","author":"Karr","year":"1981","unstructured":"Karr, M.: Summation in finite terms. J. ACM 28, 305\u2013350 (1981)","journal-title":"J. ACM"},{"key":"167_CR12","doi-asserted-by":"crossref","first-page":"303","DOI":"10.1016\/S0747-7171(85)80038-9","volume":"1","author":"Karr","year":"1985","unstructured":"Karr, M.: Theory of summation in finite terms. J. Symbolic Comput. 1, 303\u2013315 (1985)","journal-title":"J. Symbolic Comput."},{"key":"167_CR13","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1016\/S0196-8858(03)00016-2","volume":"31","author":"Paule","year":"2","unstructured":"Paule, P., Schneider, C.: Computer proofs of a new family of harmonic number identities. Adv. in Appl. Math. 31(2), 359\u2013378 (2003)","journal-title":"Adv. in Appl. Math."},{"key":"167_CR14","doi-asserted-by":"crossref","unstructured":"Petkov\u0161ek, M.: Hypergeometric solutions of linear recurrences with polynomial coefficients. J. Symbolic Comput. 14(2\u20133), 243\u2013264 (1992)","DOI":"10.1016\/0747-7171(92)90038-6"},{"key":"167_CR15","unstructured":"Petkov\u0161ek, M., Weixlbaumer, C.: A comparison of degree polynomials. http:\/\/www.fmf.uni-lj.si\/~petkovsek\/, 2000, Note"},{"key":"167_CR16","unstructured":"Petkov\u0161ek, M., Wilf, H.S., Zeilberger, D.: A=B. A. K. Peters, Wellesley, MA, 1996"},{"key":"167_CR17","unstructured":"Schneider, C.: An implementation of Karr\u2019s summation algorithm in Mathematica. S\u00e9m. Lothar. Combin. S43b, 1\u201310 (2000)"},{"key":"167_CR18","unstructured":"Schneider, C.: Symbolic summation in difference fields. Technical Report 01-17, RISC-Linz, J. Kepler University, 2001, PhD Thesis"},{"key":"167_CR19","unstructured":"Schneider, C.: Solving parameterized linear difference equations in \u03a0\u03a3-fields. SFB-Report 02-19, J. Kepler University, Linz, November 2002, Submitted"},{"key":"167_CR20","unstructured":"Schneider, C.: A collection of denominator bounds to solve parameterized linear difference equations in \u03a0\u03a3-extensions. In: D. Petcu, V. Negru, D. Zaharie, T. Jebelean, (eds.), Proc. SYNASC04, 6th Internat. Symposium on Symbolic and Numeric Algorithms for Scientific Computation, Timisoara (Romania), September 2004. Mirton Publishing. ISBN 973-661-441-7, pp. 269\u2013282"},{"key":"167_CR21","doi-asserted-by":"crossref","unstructured":"Schneider, C.: A new Sigma approach to multi-summation. To appear in the Dave Robbins memorial issue of Advances in Applied Math. 2005","DOI":"10.1016\/j.aam.2004.07.009"},{"key":"167_CR22","doi-asserted-by":"crossref","unstructured":"C. Schneider. Product representations in \u03a0\u03a3-fields. Annals of Combinatorics, 9(1), 75\u201399 (2005)","DOI":"10.1007\/s00026-005-0242-2"},{"key":"167_CR23","first-page":"365","volume":"6","author":"6(2)","year":"2","unstructured":"C. Schneider. The summation package Sigma: Underlying principles and a rhombus tiling application. Discrete Math. Theor. Comput. Sci., 6(2), 365\u2013386 (2004)","journal-title":"Discrete Math. Theor. Comput. Sci.,"},{"key":"167_CR24","doi-asserted-by":"crossref","unstructured":"Schneider, C.: Symbolic summation with single-nested sum extensions. In: J. Gutierrez, (ed.) Proc. ISSAC\u201904, ACM Press, 2004, pp. 282\u2013289","DOI":"10.1145\/1005285.1005326"},{"key":"167_CR25","doi-asserted-by":"crossref","unstructured":"van Hoeij, M.: Rational solutions of linear difference equations. In: O. Gloor, (ed.), Proc. ISSAC\u201998, ACM Press, 1998, pp. 120\u2013123","DOI":"10.1145\/281508.281592"},{"key":"167_CR26","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1016\/0012-365X(90)90120-7","volume":"80","author":"Zeilberger","year":"2","unstructured":"Zeilberger, D.: A fast algorithm for proving terminating hypergeometric identities. Discrete Math. 80(2), 207\u2013211 (1990)","journal-title":"Discrete Math."}],"container-title":["Applicable Algebra in Engineering, Communication and Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00200-004-0167-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00200-004-0167-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00200-004-0167-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,5]],"date-time":"2020-04-05T21:43:58Z","timestamp":1586123038000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00200-004-0167-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,2,22]]},"references-count":26,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2005,7]]}},"alternative-id":["167"],"URL":"https:\/\/doi.org\/10.1007\/s00200-004-0167-3","relation":{},"ISSN":["0938-1279","1432-0622"],"issn-type":[{"value":"0938-1279","type":"print"},{"value":"1432-0622","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,2,22]]}}}