{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T21:49:32Z","timestamp":1762033772943,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":77,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,7,20]],"date-time":"2020-07-20T00:00:00Z","timestamp":1595203200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100008952","name":"Agence Nationale de la Recherche","doi-asserted-by":"publisher","award":["ANR-19-CE40-0018"],"award-info":[{"award-number":["ANR-19-CE40-0018"]}],"id":[{"id":"10.13039\/501100008952","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,7,20]]},"DOI":"10.1145\/3373207.3404060","type":"proceedings-article","created":{"date-parts":[[2020,7,27]],"date-time":"2020-07-27T14:07:23Z","timestamp":1595858843000},"page":"46-53","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Computing the N-th term of a q-holonomic sequence"],"prefix":"10.1145","author":[{"given":"Alin","family":"Bostan","sequence":"first","affiliation":[{"name":"Inria, France"}]}],"member":"320","published-online":{"date-parts":[[2020,7,27]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/220346.220384"},{"volume-title":"Rational solutions of linear difference and q-difference equations with polynomial coefficients. Programmirovanie, (6):3--11","year":"1995","author":"Abramov S. A.","key":"e_1_3_2_1_2_1"},{"volume-title":"q-hypergeometric solutions of q-difference equations. Discrete Math., 180(1--3):3--22","year":"1998","author":"Abramov S. A.","key":"e_1_3_2_1_3_1"},{"volume-title":"A new method to obtain lower bounds for polynomial evaluation. TCS, 259(1--2):577--596","year":"2001","author":"Aldaz M.","key":"e_1_3_2_1_4_1"},{"volume-title":"The theory of partitions","year":"1976","author":"Andrews G. E.","key":"e_1_3_2_1_5_1"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/s002220050070"},{"volume-title":"MIT","year":"1972","author":"Beeler M.","key":"e_1_3_2_1_7_1"},{"key":"e_1_3_2_1_8_1","first-page":"325","article-title":"Fast multiplication and its applications. In Algorithmic number theory: lattices, number fields, curves and cryptography","volume":"44","author":"Bernstein D. J.","year":"2008","journal-title":"MSRIP"},{"volume-title":"Preprint, 2020","year":"2020","author":"Bernstein D. J.","key":"e_1_3_2_1_9_1"},{"key":"e_1_3_2_1_10_1","first-page":"285","article-title":"Les suites q-r\u00e9currentes lin\u00e9aires","volume":"80","author":"B\u00e9zivin J.-P.","year":"1991","journal-title":"Comp. Math."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAU.1970.1162132"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1998.0339"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1137\/0205013"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2608628.2608650"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2755996.2756674"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2930889.2930897"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1145768.1145781"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1073884.1073893"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539704443793"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/860854.860870"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/1108638.1716344"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1576702.1576712"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-03338-8"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01178683"},{"key":"e_1_3_2_1_25_1","unstructured":"P. Cartier. D\u00e9monstration \"automatique\" d'identit\u00e9s et fonctions hyperg\u00e9om\u00e9triques (d'apr\u00e8s D. Zeilberger). Ast\u00e9risque (206):41--91 1992. S. Bourbaki.  P. Cartier. D\u00e9monstration \"automatique\" d'identit\u00e9s et fonctions hyperg\u00e9om\u00e9triques (d'apr\u00e8s D. Zeilberger). Ast\u00e9risque (206):41--91 1992. S. Bourbaki."},{"key":"e_1_3_2_1_26_1","first-page":"375","volume-title":"Ramanujan revisited (Urbana-Champaign, Ill.","author":"Chudnovsky D. V.","year":"1987"},{"volume-title":"CUP","year":"1998","author":"Chyzak F.","key":"e_1_3_2_1_27_1"},{"volume-title":"An extension of Zeilberger's fast algorithm to general holonomic functions. Discrete Math., 217(1--3):115--134","year":"2000","author":"Chyzak F.","key":"e_1_3_2_1_28_1"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00222-002-0241-z"},{"volume-title":"\u00c9quations aux q-diff\u00e9rences. Gaz. Math., (96):20--49","year":"2003","author":"Vizio L. Di","key":"e_1_3_2_1_30_1"},{"issue":"1","key":"e_1_3_2_1_31_1","first-page":"245","article-title":"Cycle classes on the moduli of K3 surfaces in positive characteristic. Selecta Math. (N.","volume":"21","author":"Ekedahl T.","year":"2015","journal-title":"S.)"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-0348-0431-8"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1016\/0097-3165(85)90089-5"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/2608628.2608664"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.2140\/agt.2013.13.3261"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.2140\/gt.2005.9.1253"},{"volume-title":"A survey of q-holonomic functions. Enseign. Math., 62(3--4):501--525","year":"2016","author":"Garoufalidis S.","key":"e_1_3_2_1_37_1"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139856065"},{"issue":"2","key":"e_1_3_2_1_39_1","first-page":"455","article-title":"A noncommutative generalization and q-analog of the Lagrange inversion formula","volume":"257","author":"Gessel I.","year":"1980","journal-title":"Trans. Amer. Math. Soc."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00200-003-0144-2"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.4007\/annals.2014.179.2.7"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(80)90019-5"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-4049(97)00017-0"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1006\/jabr.1999.8220"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11139-008-9132-2"},{"volume-title":"Khmel' nov. Improved algorithms for solving difference and q-difference equations. Programmirovanie, (2):70--78","year":"2000","author":"D.","key":"e_1_3_2_1_46_1"},{"key":"e_1_3_2_1_47_1","first-page":"35","volume-title":"Congr.","author":"Kirillov A. A.","year":"1997"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-05014-5"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1016\/0377-0427(93)90317-5"},{"volume-title":"A fast approach to creative telescoping. Math. Comput. Sci., 4(2--3):259--266","year":"2010","author":"Koutschan C.","key":"e_1_3_2_1_50_1"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1090\/mcom\/3245"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1137\/0207004"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1080\/10586458.2019.1671922"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1090\/mcom\/3231"},{"key":"e_1_3_2_1_55_1","first-page":"40","volume-title":"Studies in mathematics and mechanics presented to Richard von Mises","author":"Ostrowski A.","year":"1954"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11139-006-9576-1"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1070\/RM1966v021n01ABEH004147"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1137\/0202007"},{"key":"e_1_3_2_1_59_1","first-page":"229","article-title":"Rogers-Ramanujan functions, modular functions, and computer algebra. In Advances in computer algebra","volume":"226","author":"Paule P.","year":"2018","journal-title":"PROMS"},{"key":"e_1_3_2_1_60_1","first-page":"179","article-title":"A Mathematica q-analogue of Zeilberger's algorithm based on an algebraically motivated approach to q-hypergeometric telescoping. In Special functions, q-series and related topics","volume":"14","author":"Paule P.","year":"1997","journal-title":"FIC"},{"volume-title":"A = B. A K Peters","year":"1996","author":"Petkov\u0161ek M.","key":"e_1_3_2_1_61_1"},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0305004100049252"},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1002\/j.1538-7305.1969.tb04268.x"},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(02)00138-4"},{"key":"e_1_3_2_1_65_1","first-page":"125","volume-title":"D-modules and microlocal geometry (Lisbon","author":"Sabbah C.","year":"1990"},{"key":"e_1_3_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(78)90016-6"},{"key":"e_1_3_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.5802\/afst.1563"},{"key":"e_1_3_2_1_68_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00289470"},{"key":"e_1_3_2_1_69_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2011.12.004"},{"key":"e_1_3_2_1_70_1","doi-asserted-by":"publisher","DOI":"10.1137\/0203010"},{"issue":"1","key":"e_1_3_2_1_71_1","first-page":"1","article-title":"Einige Resultate \u00fcber Berechnungskomplexit\u00e4t","volume":"78","author":"Strassen V.","year":"1976","journal-title":"Jber. Deutsch. Math.-Verein."},{"key":"e_1_3_2_1_72_1","doi-asserted-by":"publisher","DOI":"10.1090\/S0025-5718-2011-02542-1"},{"key":"e_1_3_2_1_73_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-55750-7"},{"key":"e_1_3_2_1_74_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02100618"},{"key":"e_1_3_2_1_75_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1446788700035278"},{"key":"e_1_3_2_1_76_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74119-0_1"},{"key":"e_1_3_2_1_77_1","doi-asserted-by":"publisher","DOI":"10.1016\/0377-0427(90)90042-X"}],"event":{"name":"ISSAC '20: International Symposium on Symbolic and Algebraic Computation","sponsor":["SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"],"location":"Kalamata Greece","acronym":"ISSAC '20"},"container-title":["Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3373207.3404060","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3373207.3404060","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:32:58Z","timestamp":1750199578000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3373207.3404060"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,7,20]]},"references-count":77,"alternative-id":["10.1145\/3373207.3404060","10.1145\/3373207"],"URL":"https:\/\/doi.org\/10.1145\/3373207.3404060","relation":{},"subject":[],"published":{"date-parts":[[2020,7,20]]},"assertion":[{"value":"2020-07-27","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}