{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T10:10:10Z","timestamp":1755857410136,"version":"3.44.0"},"publisher-location":"New York, NY, USA","reference-count":27,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,7,24]],"date-time":"2023-07-24T00:00:00Z","timestamp":1690156800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100001665","name":"Agence Nationale de la Recherche","doi-asserted-by":"publisher","award":["ANR-22-CE58-0005"],"award-info":[{"award-number":["ANR-22-CE58-0005"]}],"id":[{"id":"10.13039\/501100001665","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100004794","name":"Centre National de la Recherche Scientifique","doi-asserted-by":"publisher","award":["International Emerging Actions"],"award-info":[{"award-number":["International Emerging Actions"]}],"id":[{"id":"10.13039\/501100004794","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000781","name":"European Research Council","doi-asserted-by":"publisher","award":["101002685"],"award-info":[{"award-number":["101002685"]}],"id":[{"id":"10.13039\/501100000781","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001821","name":"Vienna Science and Technology Fund","doi-asserted-by":"publisher","award":["ICT19-018"],"award-info":[{"award-number":["ICT19-018"]}],"id":[{"id":"10.13039\/501100001821","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,7,24]]},"DOI":"10.1145\/3597066.3597121","type":"proceedings-article","created":{"date-parts":[[2023,7,5]],"date-time":"2023-07-05T18:15:27Z","timestamp":1688580927000},"page":"407-416","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["The Membership Problem for Hypergeometric Sequences with Quadratic Parameters"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7661-7061","authenticated-orcid":false,"given":"George","family":"Kenison","sequence":"first","affiliation":[{"name":"TU Wien, Austria"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0998-5788","authenticated-orcid":false,"given":"Klara","family":"Nosan","sequence":"additional","affiliation":[{"name":"Universit\u00e9 Paris Cit\u00e9, CNRS, IRIF, France"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7779-2339","authenticated-orcid":false,"given":"Mahsa","family":"Shirmohammadi","sequence":"additional","affiliation":[{"name":"Universit\u00e9 Paris Cit\u00e9, CNRS, IRIF, France"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8151-2443","authenticated-orcid":false,"given":"James","family":"Worrell","sequence":"additional","affiliation":[{"name":"University of Oxford, United Kingdom"}]}],"member":"320","published-online":{"date-parts":[[2023,7,24]]},"reference":[{"doi-asserted-by":"publisher","key":"e_1_3_2_1_1_1","DOI":"10.1090\/S0002-9939-08-09580-4"},{"volume-title":"Introduction to Analytic Number Theory","author":"Apostol M.","unstructured":"T.\u00a0M. Apostol. 1998. Introduction to Analytic Number Theory. Springer New York.","key":"e_1_3_2_1_2_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_3_1","DOI":"10.1080\/00029890.2007.11920430"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_4_1","DOI":"10.1090\/surv\/104"},{"doi-asserted-by":"crossref","unstructured":"P. Flajolet and R. Sedgewick. 2009. Analytic Combinatorics. Cambridge University Press.","key":"e_1_3_2_1_5_1","DOI":"10.1017\/CBO9780511801655"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_6_1","DOI":"10.1007\/978-3-030-47295-5"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_7_1","DOI":"10.1112\/plms\/82.3.554"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_8_1","DOI":"10.4064\/aa-74-3-207-230"},{"doi-asserted-by":"publisher","unstructured":"S. Hong and C. Wang. 2016. Criterion for the integrality of hypergeometric series with parameters from quadratic fields. https:\/\/doi.org\/10.48550\/arxiv.1609.09319","key":"e_1_3_2_1_9_1","DOI":"10.48550\/arxiv.1609.09319"},{"doi-asserted-by":"publisher","unstructured":"M. Kauers and P. Paule. 2011. The Concrete Tetrahedron. Springer Vienna. https:\/\/doi.org\/10.1007\/978-3-7091-0445-3","key":"e_1_3_2_1_10_1","DOI":"10.1007\/978-3-7091-0445-3"},{"volume-title":"International Symposium, ISSAC, Proceedings. ACM, 195\u2013201","author":"Kauers M.","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. ACM, 195\u2013201.","key":"e_1_3_2_1_11_1"},{"unstructured":"G. Kenison. 2022. The Membership and Threshold Problems for Hypergeometric Sequences with Quadratic Parameters. arxiv:2211.02447","key":"e_1_3_2_1_12_1"},{"unstructured":"G. Kenison O. Klurman E. Lefaucheux F. Luca P. Moree J. Ouaknine A. Whiteland and J. Worrell. 2023. On Inequality Decision Problems for Low-Order Holonomic Sequences.","key":"e_1_3_2_1_13_1"},{"key":"e_1_3_2_1_14_1","first-page":"1","article-title":"On Positivity and Minimality for Second-Order Holonomic Sequences. In 46th International Symposium on Mathematical Foundations of Computer Science, MFCS(LIPIcs, Vol.\u00a0202)","volume":"67","author":"Kenison G.","year":"2021","unstructured":"G. Kenison, O. Klurman, E. Lefaucheux, F. Luca, P. Moree, J. Ouaknine, M.\u00a0A. 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.\u00a0202). Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik, 67:1\u201367:15.","journal-title":"Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik"},{"key":"e_1_3_2_1_15_1","volume-title":"Sur les conditions de divisibilit\u00e9 d\u2019un produit de factorielles par un autre. Nouvelles annales de math\u00e9matiques : journal des candidats aux \u00e9coles polytechnique et normale 3e s\u00e9rie, 19","author":"Landau E.","year":"1900","unstructured":"E. Landau. 1900. Sur les conditions de divisibilit\u00e9 d\u2019un produit de factorielles par un autre. Nouvelles annales de math\u00e9matiques : journal des candidats aux \u00e9coles polytechnique et normale 3e s\u00e9rie, 19 (1900), 344\u2013362. http:\/\/www.numdam.org\/item\/NAM_1900_3_19__344_1\/"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_16_1","DOI":"10.1515\/crll.1874.78.46"},{"doi-asserted-by":"crossref","unstructured":"M. Mignotte T. Shorey and R. Tijdeman. 1984. The distance between terms of an algebraic recurrence sequence. Journal f\u00fcr die Reine und Angewandte Mathematik (1984) 63\u201376.","key":"e_1_3_2_1_17_1","DOI":"10.1515\/crll.1984.349.63"},{"unstructured":"J.\u00a0S. Milne. 2020. Algebraic Number Theory (v3.08). 166\u00a0pages. Available at www.jmilne.org\/math\/.","key":"e_1_3_2_1_18_1"},{"key":"e_1_3_2_1_19_1","first-page":"909","article-title":"Modular functions and transcendence problems","volume":"322","author":"Nesterenko Y.","year":"1996","unstructured":"Y. Nesterenko. 1996. Modular functions and transcendence problems. C. R. Acad. Sci. Paris S\u00e9r. I Math. 322, 10 (1996), 909\u2013914.","journal-title":"C. R. Acad. Sci. Paris S\u00e9r. I Math."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_20_1","DOI":"10.1007\/978-3-662-03983-0"},{"key":"e_1_3_2_1_21_1","first-page":"1","article-title":"Decision Problems for Second-Order Holonomic Recurrences. In 48th International Colloquium on Automata, Languages, and Programming, ICALP(LIPIcs, Vol.\u00a0198)","volume":"99","author":"Neumann E.","year":"2021","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.\u00a0198). Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik, 99:1\u201399:20.","journal-title":"Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_22_1","DOI":"10.1145\/3476446.3535504"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_23_1","DOI":"10.1145\/2850449.2850458"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_24_1","DOI":"10.4153\/CJM-1950-007-5"},{"doi-asserted-by":"crossref","unstructured":"I. Stewart and D. Tall. 2016. Algebraic number theory and Fermat\u2019s last theorem (fourth ed.). CRC Press Boca Raton FL. xix+322 pages.","key":"e_1_3_2_1_25_1","DOI":"10.1201\/b19331"},{"key":"e_1_3_2_1_26_1","volume-title":"Occurrence of zero in a linear recursive sequence. Mathematical notes of the Academy of Sciences of the USSR 38, 2 (01","author":"Vereshchagin N.","year":"1985","unstructured":"N. Vereshchagin. 1985. Occurrence of zero in a linear recursive sequence. Mathematical notes of the Academy of Sciences of the USSR 38, 2 (01 Aug 1985), 609\u2013615."},{"unstructured":"J. Wallis. 1655. Arithmetica infinitorum sive nova methodus inquirendi in curvilineorum quadraturam aliaque difficiliori matheseos problemata. Oxford (1655) 1\u2013199.","key":"e_1_3_2_1_27_1"}],"event":{"acronym":"ISSAC 2023","name":"ISSAC 2023: International Symposium on Symbolic and Algebraic Computation 2023","location":"Troms\u00f8 Norway"},"container-title":["Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3597066.3597121","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3597066.3597121","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T09:36:01Z","timestamp":1755855361000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3597066.3597121"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,7,24]]},"references-count":27,"alternative-id":["10.1145\/3597066.3597121","10.1145\/3597066"],"URL":"https:\/\/doi.org\/10.1145\/3597066.3597121","relation":{},"subject":[],"published":{"date-parts":[[2023,7,24]]},"assertion":[{"value":"2023-07-24","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}