{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:46:58Z","timestamp":1750308418608,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":19,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,7,4]],"date-time":"2022-07-04T00:00:00Z","timestamp":1656892800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100000781","name":"European Research Council","doi-asserted-by":"publisher","award":["852769"],"award-info":[{"award-number":["852769"]}],"id":[{"id":"10.13039\/501100000781","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,7,4]]},"DOI":"10.1145\/3476446.3535504","type":"proceedings-article","created":{"date-parts":[[2022,7,5]],"date-time":"2022-07-05T13:16:01Z","timestamp":1657026961000},"page":"381-389","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["The Membership Problem for Hypergeometric Sequences with Rational Parameters"],"prefix":"10.1145","author":[{"given":"Klara","family":"Nosan","sequence":"first","affiliation":[{"name":"Universit\u00e9 Paris Cit\u00e9, CNRS, IRIF, Paris, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Amaury","family":"Pouly","sequence":"additional","affiliation":[{"name":"Universit\u00e9 Paris Cit\u00e9, CNRS, IRIF & University of Oxford, Paris, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mahsa","family":"Shirmohammadi","sequence":"additional","affiliation":[{"name":"Universit\u00e9 Paris Cit\u00e9, CNRS, IRIF, Paris, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"James","family":"Worrell","sequence":"additional","affiliation":[{"name":"University of Oxford, Oxford, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2022,7,5]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Proc. Amer. Math. Soc.","volume":"137","author":"Amdeberhan T.","year":"2007","unstructured":"T. Amdeberhan , L. Medina , and V. Moll . 2007. Asymptotic valuations of sequences satisfying first order recurrences . Proc. Amer. Math. Soc. , Vol. 137 (10 2007 ), 885--890. T. Amdeberhan, L. Medina, and V. Moll. 2007. Asymptotic valuations of sequences satisfying first order recurrences. Proc. Amer. Math. Soc., Vol. 137 (10 2007), 885--890."},{"key":"e_1_3_2_1_2_1","volume-title":"Panoramas et Synth\u00e8ses","volume":"17","author":"Andr\u00e9 Y.","year":"2004","unstructured":"Y. Andr\u00e9 . 2004 . Une introduction aux motifs (motifs purs, motifs mixtes, p\u00e9riodes) . Panoramas et Synth\u00e8ses , Vol. 17 . Soci\u00e9t\u00e9 Math\u00e9matique de France. Y. Andr\u00e9. 2004. Une introduction aux motifs (motifs purs, motifs mixtes, p\u00e9riodes). Panoramas et Synth\u00e8ses, Vol. 17. Soci\u00e9t\u00e9 Math\u00e9matique de France."},{"key":"e_1_3_2_1_3_1","volume-title":"Mathematical Proceedings of the Cambridge Philosophical Society","volume":"153","author":"Bell J.","year":"2011","unstructured":"J. Bell , S. Burris , and K. Yeats . 2011. On the set of zero coefficients of a function satisfying a linear differential equation . Mathematical Proceedings of the Cambridge Philosophical Society , Vol. 153 (05 2011 ), 235--247. J. Bell, S. Burris, and K. Yeats. 2011. On the set of zero coefficients of a function satisfying a linear differential equation. Mathematical Proceedings of the Cambridge Philosophical Society, Vol. 153 (05 2011), 235--247."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1215\/ijm\/1552442669"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.aam.2013.07.003"},{"key":"e_1_3_2_1_6_1","volume-title":"Memoirs of the American Mathematical Society","volume":"246","author":"Delaygue E.","year":"2013","unstructured":"E. Delaygue , T. Rivoal , and J. Roques . 2013. On Dwork's p-adic formal congruences theorem and hypergeometric mirror maps . Memoirs of the American Mathematical Society , Vol. 246 (09 2013 ). https:\/\/doi.org\/10.1090\/memo\/1163 10.1090\/memo E. Delaygue, T. Rivoal, and J. Roques. 2013. On Dwork's p-adic formal congruences theorem and hypergeometric mirror maps. Memoirs of the American Mathematical Society, Vol. 246 (09 2013). https:\/\/doi.org\/10.1090\/memo\/1163"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"crossref","unstructured":"M. Kauers and P. Paule. 2011. The Concrete Tetrahedron - Symbolic Sums Recurrence Equations Generating Functions Asymptotic Estimates .Springer.  M. Kauers and P. Paule. 2011. The Concrete Tetrahedron - Symbolic Sums Recurrence Equations Generating Functions Asymptotic Estimates .Springer.","DOI":"10.1007\/978-3-7091-0445-3"},{"volume-title":"International Symposium, ISSAC, Proceedings, , Wolfram Koepf (Ed.). ACM, 195--201","author":"Kauers M.","key":"e_1_3_2_1_8_1","unstructured":"M. Kauers and V. Pillwein . 2010. When can we detect that a P-finite sequence is positive?. In Symbolic and Algebraic Computation , International Symposium, ISSAC, Proceedings, , Wolfram Koepf (Ed.). ACM, 195--201 . M. Kauers and V. Pillwein. 2010. When can we detect that a P-finite sequence is positive?. In Symbolic and Algebraic Computation, International Symposium, ISSAC, Proceedings, , Wolfram Koepf (Ed.). ACM, 195--201."},{"key":"e_1_3_2_1_9_1","unstructured":"G. Kenison O. Klurman E. Lefaucheux F. Luca P. Moree J. Ouaknine A. Whiteland and J. Worrell. 2020. On Inequality Decision Prolems for Low-Order Holonomic Sequences .arxiv: 2007.12282 Submitted.  G. Kenison O. Klurman E. Lefaucheux F. Luca P. Moree J. Ouaknine A. Whiteland and J. Worrell. 2020. On Inequality Decision Prolems for Low-Order Holonomic Sequences .arxiv: 2007.12282 Submitted."},{"key":"e_1_3_2_1_10_1","volume-title":"On Positivity and Minimality for Second-Order Holonomic Sequences. In 46th International Symposium on Mathematical Foundations of Computer Science, MFCS (LIPIcs","volume":"15","author":"Kenison G.","unstructured":"G. Kenison , O. Klurman , E. Lefaucheux , F. Luca , P. Moree , J. Ouaknine , M. A. Whiteland , and J. Worrell . 2021 . On Positivity and Minimality for Second-Order Holonomic Sequences. In 46th International Symposium on Mathematical Foundations of Computer Science, MFCS (LIPIcs , Vol. 202). Schloss Dagstuhl - Leibniz-Zentrum f\u00fc r Informatik, 67:1--67: 15 . G. Kenison, O. Klurman, E. Lefaucheux, F. Luca, P. Moree, J. Ouaknine, M. A. Whiteland, and J. Worrell. 2021. On Positivity and Minimality for Second-Order Holonomic Sequences. In 46th International Symposium on Mathematical Foundations of Computer Science, MFCS (LIPIcs, Vol. 202). Schloss Dagstuhl - Leibniz-Zentrum f\u00fc r Informatik, 67:1--67:15."},{"key":"e_1_3_2_1_11_1","volume-title":"Proceedings of Symposia in Pure Mathematics","volume":"33","author":"Koblitz N.","year":"1979","unstructured":"N. Koblitz and A. Ogus . 1979. Algebraicity of some products of values of the F function, Appendix of Valeurs de fonctions L et periodes d'int\u00e9grales . Proceedings of Symposia in Pure Mathematics , Vol. 33 ( 1979 ), part 2, 313--346. N. Koblitz and A. Ogus. 1979. Algebraicity of some products of values of the F function, Appendix of Valeurs de fonctions L et periodes d'int\u00e9grales. Proceedings of Symposia in Pure Mathematics, Vol. 33 (1979), part 2, 313--346."},{"key":"e_1_3_2_1_12_1","volume-title":"Relations de distributions et exemples classiques. S\u00e9minaire Delange-Pisot-Poitou. Th\u00e9orie des nombres","author":"Lang S.","year":"1977","unstructured":"S. Lang . 1977--1978. Relations de distributions et exemples classiques. S\u00e9minaire Delange-Pisot-Poitou. Th\u00e9orie des nombres , Vol. 19 , 2 ( 1977 --1978). S. Lang. 1977--1978. Relations de distributions et exemples classiques. S\u00e9minaire Delange-Pisot-Poitou. Th\u00e9orie des nombres, Vol. 19, 2 (1977--1978)."},{"key":"e_1_3_2_1_13_1","article-title":"The distance between terms of an algebraic recurrence sequence","volume":"349","author":"Mignotte M.","year":"1984","unstructured":"M. Mignotte , T. N. Shorey , and R. Tijdeman . 1984 . The distance between terms of an algebraic recurrence sequence . Journal f\u00fcr die reine und angewandte Mathematik , Vol. 349 (1984). M. Mignotte, T. N. Shorey, and R. Tijdeman. 1984. The distance between terms of an algebraic recurrence sequence. Journal f\u00fcr die reine und angewandte Mathematik, Vol. 349 (1984).","journal-title":"Journal f\u00fcr die reine und angewandte Mathematik"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.3792\/pja\/1195570997"},{"key":"e_1_3_2_1_15_1","volume-title":"48th International Colloquium on Automata, Languages, and Programming, ICALP (LIPIcs","volume":"20","author":"Neumann E.","unstructured":"E. Neumann , J. Ouaknine , and J. Worrell . 2021. Decision Problems for Second-Order Holonomic Recurrences. In 48th International Colloquium on Automata, Languages, and Programming, ICALP (LIPIcs , Vol. 198). Schloss Dagstuhl - Leibniz-Zentrum f\u00fc r Informatik, 99:1--99: 20 . E. Neumann, J. Ouaknine, and J. Worrell. 2021. Decision Problems for Second-Order Holonomic Recurrences. In 48th International Colloquium on Automata, Languages, and Programming, ICALP (LIPIcs, Vol. 198). Schloss Dagstuhl - Leibniz-Zentrum f\u00fc r Informatik, 99:1--99:20."},{"key":"e_1_3_2_1_16_1","unstructured":"M. Petkovsek H. Wilf and D. Zeilberger. 1997. A=B. A K Peters.  M. Petkovsek H. Wilf and D. Zeilberger. 1997. A=B. A K Peters."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2850449.2850458"},{"key":"e_1_3_2_1_18_1","volume-title":"Mat. Zametki","volume":"38","author":"Vereshchagin N. K.","year":"1985","unstructured":"N. K. Vereshchagin . 1985 . The problem of appearance of a zero in a linear recurrence sequence (in Russian) . Mat. Zametki , Vol. 38 , 2 (1985). N. K. Vereshchagin. 1985. The problem of appearance of a zero in a linear recurrence sequence (in Russian). Mat. Zametki, Vol. 38, 2 (1985)."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.4310\/PAMQ.2006.v2.n2.a3"}],"event":{"name":"ISSAC '22: International Symposium on Symbolic and Algebraic Computation","sponsor":["SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"],"location":"Villeneuve-d'Ascq France","acronym":"ISSAC '22"},"container-title":["Proceedings of the 2022 International Symposium on Symbolic and Algebraic Computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3476446.3535504","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3476446.3535504","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T17:49:19Z","timestamp":1750268959000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3476446.3535504"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,7,4]]},"references-count":19,"alternative-id":["10.1145\/3476446.3535504","10.1145\/3476446"],"URL":"https:\/\/doi.org\/10.1145\/3476446.3535504","relation":{},"subject":[],"published":{"date-parts":[[2022,7,4]]},"assertion":[{"value":"2022-07-05","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}