{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,24]],"date-time":"2025-09-24T09:54:38Z","timestamp":1758707678426,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":31,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,7,20]],"date-time":"2016-07-20T00:00:00Z","timestamp":1468972800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Austrian Science Fund (FWF)","award":["SFB F50 (F5009-N15)"],"award-info":[{"award-number":["SFB F50 (F5009-N15)"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2016,7,20]]},"DOI":"10.1145\/2930889.2930945","type":"proceedings-article","created":{"date-parts":[[2016,7,19]],"date-time":"2016-07-19T11:59:33Z","timestamp":1468929573000},"page":"9-12","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Symbolic Summation in Difference Rings and Applications"],"prefix":"10.1145","author":[{"given":"Carsten","family":"Schneider","sequence":"first","affiliation":[{"name":"Johannes Kepler University Linz, Linz, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2016,7,20]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"1071","article-title":"On the summation of rational functions. Zh. vychisl. mat","volume":"11","author":"Abramov S. A.","year":"1971","unstructured":"S. A. Abramov . On the summation of rational functions. Zh. vychisl. mat . Fiz. , 11 : 1071 -- 1074 , 1971 . S. A. Abramov. On the summation of rational functions. Zh. vychisl. mat. Fiz., 11:1071--1074, 1971.","journal-title":"Fiz."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/190347.190412"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/236869.237080"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.aam.2005.09.003"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.2000.0368"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0012-365X(99)00259-9"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.75.1.40"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/322248.322255"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(85)80038-9"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2007.08.002"},{"key":"e_1_3_2_1_11_1","volume-title":"Representation of (q--)hypergeometric products and mixed versions in difference rings. In preparation","author":"Doe Ocansey E.","year":"2016","unstructured":"E. Doe Ocansey and C. Schneider . Representation of (q--)hypergeometric products and mixed versions in difference rings. In preparation , 2016 . E. Doe Ocansey and C. Schneider. Representation of (q--)hypergeometric products and mixed versions in difference rings. In preparation, 2016."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1145768.1145800"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1277548.1277579"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-7091-1616-6_7"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1995.1049"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/0747-7171(92)90038-6"},{"issue":"2","key":"e_1_3_2_1_17_1","first-page":"163","article-title":"A collection of denominator bounds to solve parameterized linear difference equations in \u03a0\u03a3-extensions","volume":"42","author":"Schneider C.","year":"2004","unstructured":"C. Schneider . A collection of denominator bounds to solve parameterized linear difference equations in \u03a0\u03a3-extensions . An. Univ. Timisoara Ser. Mat.-Inform. , 42 ( 2 ): 163 -- 179 , 2004 . Extended version of Proc. SYNASC'04. C. Schneider. A collection of denominator bounds to solve parameterized linear difference equations in \u03a0\u03a3-extensions. An. Univ. Timisoara Ser. Mat.-Inform., 42(2):163--179, 2004. Extended version of Proc. SYNASC'04.","journal-title":"An. Univ. Timisoara Ser. Mat.-Inform."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1005285.1005326"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00200-004-0167-3"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1073884.1073924"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1080\/10236190500138262"},{"key":"e_1_3_2_1_22_1","first-page":"1","article-title":"Symbolic summation assists combinatorics","volume":"56","author":"Schneider C.","year":"2007","unstructured":"C. Schneider . Symbolic summation assists combinatorics . S\u00e9m. Lothar. Combin. , 56 : 1 -- 36 , 2007 . Article B56b. C. Schneider. Symbolic summation assists combinatorics. S\u00e9m. Lothar. Combin., 56:1--36, 2007. Article B56b.","journal-title":"S\u00e9m. Lothar. Combin."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2008.01.001"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00200-009-0115-3"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/SYNASC.2014.12"},{"key":"e_1_3_2_1_26_1","first-page":"157","volume-title":"Computer Algebra and Polynomials, number 8942 in Lecture Notes in Computer Science (LNCS)","author":"Schneider C.","year":"2015","unstructured":"C. Schneider . Fast algorithms for refined parameterized telescoping in difference fields . In Computer Algebra and Polynomials, number 8942 in Lecture Notes in Computer Science (LNCS) , pages 157 -- 191 . Springer , 2015 . arXiv:1307.7887 {cs.SC}. C. Schneider. Fast algorithms for refined parameterized telescoping in difference fields. In Computer Algebra and Polynomials, number 8942 in Lecture Notes in Computer Science (LNCS), pages 157--191. Springer, 2015. arXiv:1307.7887 {cs.SC}."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2015.02.002"},{"key":"e_1_3_2_1_28_1","first-page":"1","volume-title":"Summation Theory II: Characterizations of R\u03a0\u03a3-extensions and algorithmic aspects","author":"Schneider C.","year":"2016","unstructured":"C. Schneider . Summation Theory II: Characterizations of R\u03a0\u03a3-extensions and algorithmic aspects . pages 1 -- 54 , 2016 . arXiv: 1603.04285 {cs.SC}. C. Schneider. Summation Theory II: Characterizations of R\u03a0\u03a3-extensions and algorithmic aspects. pages 1--54, 2016. arXiv:1603.04285 {cs.SC}."},{"key":"e_1_3_2_1_29_1","series-title":"Lecture Notes in Mathematics","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0096118","volume-title":"Galois theory of difference equations","author":"van der Put M.","year":"1997","unstructured":"M. van der Put and M. Singer . Galois theory of difference equations , volume 1666 of Lecture Notes in Mathematics . Springer-Verlag , Berlin , 1997 . M. van der Put and M. Singer. Galois theory of difference equations, volume 1666 of Lecture Notes in Mathematics. Springer-Verlag, Berlin, 1997."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02100618"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(08)80044-2"}],"event":{"name":"ISSAC '16: International Symposium on Symbolic and Algebraic Computation","sponsor":["SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"],"location":"Waterloo ON Canada","acronym":"ISSAC '16"},"container-title":["Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2930889.2930945","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2930889.2930945","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:55:49Z","timestamp":1750222549000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2930889.2930945"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,7,20]]},"references-count":31,"alternative-id":["10.1145\/2930889.2930945","10.1145\/2930889"],"URL":"https:\/\/doi.org\/10.1145\/2930889.2930945","relation":{},"subject":[],"published":{"date-parts":[[2016,7,20]]},"assertion":[{"value":"2016-07-20","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}