{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T02:25:11Z","timestamp":1742955911700,"version":"3.40.3"},"publisher-location":"Cham","reference-count":30,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031690693"},{"type":"electronic","value":"9783031690709"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024]]},"DOI":"10.1007\/978-3-031-69070-9_18","type":"book-chapter","created":{"date-parts":[[2024,8,22]],"date-time":"2024-08-22T11:23:00Z","timestamp":1724325780000},"page":"314-327","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["On Rational Recursion for\u00a0Holonomic Sequences"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9199-7077","authenticated-orcid":false,"given":"Bertrand","family":"Teguia Tabuguia","sequence":"first","affiliation":[]},{"given":"James","family":"Worrell","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,8,21]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"Abramov, S.A., van Hoeij, M.: Desingularization of linear difference operators with polynomial coefficients. In: Proceedings of the 1999 International Symposium on Symbolic and Algebraic Computation, pp. 269\u2013275 (1999)","key":"18_CR1","DOI":"10.1145\/309831.309953"},{"unstructured":"Ait El\u00a0Manssour, R., Sattelberger, A.L., Teguia\u00a0Tabuguia, B.: D-algebraic functions. arXiv preprint arXiv:2301.02512 (2023)","key":"18_CR2"},{"doi-asserted-by":"crossref","unstructured":"Alur, R., D\u2019Antoni, L., Deshmukh, J.V., Raghothaman, M., Yuan, Y.: Regular functions and cost register automata. In: 28th Annual ACM\/IEEE Symposium on Logic in Computer Science, LICS 2013, New Orleans, LA, USA, 25\u201328 June 2013, pp. 13\u201322. IEEE Computer Society (2013)","key":"18_CR3","DOI":"10.1109\/LICS.2013.65"},{"issue":"10","key":"18_CR4","doi-asserted-by":"publisher","first-page":"1233","DOI":"10.1016\/j.jsc.2011.12.043","volume":"47","author":"T B\u00e4chler","year":"2012","unstructured":"B\u00e4chler, T., Gerdt, V., Lange-Hegermann, M., Robertz, D.: Algorithmic Thomas decomposition of algebraic and differential systems. J. Symb. Comput. 47(10), 1233\u20131266 (2012)","journal-title":"J. Symb. Comput."},{"key":"18_CR5","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0913-3","volume-title":"Gr\u00f6bner Bases","author":"T Becker","year":"1993","unstructured":"Becker, T., Weispfenning, V.: Gr\u00f6bner Bases. Springer, Heidelberg (1993)"},{"doi-asserted-by":"crossref","unstructured":"Benedikt, M., Duff, T., Sharad, A., Worrell, J.: Polynomial automata: zeroness and applications. In: 2017 32nd Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS), pp. 1\u201312. IEEE (2017)","key":"18_CR6","DOI":"10.1109\/LICS.2017.8005101"},{"doi-asserted-by":"crossref","unstructured":"Boulier, F., Lazard, D., Ollivier, F., Petitot, M.: Representation for the radical of a finitely generated differential ideal. In: Proceedings of the 1995 International Symposium on Symbolic and Algebraic Computation, pp. 158\u2013166 (1995)","key":"18_CR7","DOI":"10.1145\/220346.220367"},{"doi-asserted-by":"crossref","unstructured":"Cadilhac, M., Mazowiecki, F., Paperman, C., Pilipczuk, M., S\u00e9nizergues, G.: On polynomial recursive sequences. In: Theory of Computing Systems, pp. 1\u201322 (2021)","key":"18_CR8","DOI":"10.1007\/s00224-021-10046-9"},{"key":"18_CR9","doi-asserted-by":"publisher","first-page":"617","DOI":"10.1016\/j.jsc.2015.11.001","volume":"74","author":"S Chen","year":"2016","unstructured":"Chen, S., Kauers, M., Singer, M.F.: Desingularization of ore operators. J. Symb. Comput. 74, 617\u2013626 (2016)","journal-title":"J. Symb. Comput."},{"unstructured":"Clemente, L., Donten-Bury, M., Mazowiecki, F., Pilipczuk, M.: On rational recursive sequences. In: 40th International Symposium on Theoretical Aspects of Computer Science (STACS 2023). Schloss-Dagstuhl-Leibniz Zentrum f\u00fcr Informatik (2023)","key":"18_CR10"},{"key":"18_CR11","volume-title":"Difference Algebra","author":"R Cohn","year":"1965","unstructured":"Cohn, R.: Difference Algebra. Interscience Publishers John Wiley & Sons, New York (1965)"},{"issue":"5\u20136","key":"18_CR12","doi-asserted-by":"publisher","first-page":"852","DOI":"10.1080\/10236198.2013.823956","volume":"20","author":"SB Ekhad","year":"2014","unstructured":"Ekhad, S.B., Zeilberger, D.: How to generate as many Somos-like miracles as you wish. J. Differ. Equations Appl. 20(5\u20136), 852\u2013858 (2014)","journal-title":"J. Differ. Equations Appl."},{"key":"18_CR13","doi-asserted-by":"publisher","DOI":"10.1007\/b97665","volume-title":"Analysis and Control of Nonlinear Process Systems","author":"KM Hangos","year":"2006","unstructured":"Hangos, K.M., Bokor, J., Szederk\u00e9nyi, G.: Analysis and Control of Nonlinear Process Systems. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/b97665"},{"issue":"9","key":"18_CR14","doi-asserted-by":"publisher","first-page":"1831","DOI":"10.1002\/cpa.21921","volume":"73","author":"H Hong","year":"2020","unstructured":"Hong, H., Ovchinnikov, A., Pogudin, G., Yap, C.: Global identifiability of differential models. Commun. Pure Appl. Math. 73(9), 1831\u20131879 (2020)","journal-title":"Commun. Pure Appl. Math."},{"key":"18_CR15","doi-asserted-by":"publisher","DOI":"10.1016\/j.aam.2020.102027","volume":"117","author":"A Jim\u00e9nez-Pastor","year":"2020","unstructured":"Jim\u00e9nez-Pastor, A., Pillwein, V., Singer, M.F.: Some structural results on dn-finite functions. Adv. Appl. Math. 117, 102027 (2020)","journal-title":"Adv. Appl. Math."},{"key":"18_CR16","volume-title":"Differential Algebra & Algebraic Groups","author":"ER Kolchin","year":"1973","unstructured":"Kolchin, E.R.: Differential Algebra & Algebraic Groups. Academic press, Cambridge (1973)"},{"issue":"2","key":"18_CR17","doi-asserted-by":"publisher","first-page":"342","DOI":"10.1137\/0217020","volume":"17","author":"JC Lagarias","year":"1988","unstructured":"Lagarias, J.C., Reeds, J.A.: Unique extrapolation of polynomial recurrences. SIAM J. Comput. 17(2), 342\u2013362 (1988)","journal-title":"SIAM J. Comput."},{"key":"18_CR18","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-6947-5","volume-title":"Difference Algebra","author":"A Levin","year":"2008","unstructured":"Levin, A.: Difference Algebra, vol. 8. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-1-4020-6947-5"},{"issue":"1\u20133","key":"18_CR19","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1016\/0012-365X(92)90714-Q","volume":"110","author":"JL Malouf","year":"1992","unstructured":"Malouf, J.L.: An integer sequence from a rational recursion. Disc. Math. 110(1\u20133), 257\u2013261 (1992)","journal-title":"Disc. Math."},{"unstructured":"Maplesoft, a division of Waterloo Maple Inc.: Maple (2023). https:\/\/www.maplesoft.com\/","key":"18_CR20"},{"key":"18_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/3-540-55328-2_7","volume-title":"Computer Algebra and Parallelism","author":"W Neun","year":"1992","unstructured":"Neun, W., Melenk, H.: Very large Gr\u00f6bner basis calculations. In: Zippel, R.E. (ed.) CAP 1990. LNCS, vol. 584, pp. 89\u201399. Springer, Heidelberg (1992). https:\/\/doi.org\/10.1007\/3-540-55328-2_7"},{"issue":"2","key":"18_CR22","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1145\/2766189.2766191","volume":"2","author":"J Ouaknine","year":"2015","unstructured":"Ouaknine, J., Worrell, J.: On linear recurrence sequences and loop termination. ACM Siglog News 2(2), 4\u201313 (2015)","journal-title":"ACM Siglog News"},{"issue":"8","key":"18_CR23","doi-asserted-by":"publisher","first-page":"2419","DOI":"10.4171\/jems\/968","volume":"22","author":"A Ovchinnikov","year":"2020","unstructured":"Ovchinnikov, A., Pogudin, G., Scanlon, T.: Effective difference elimination and nullstellensatz. J. Eur. Math. Soc. 22(8), 2419\u20132452 (2020)","journal-title":"J. Eur. Math. Soc."},{"unstructured":"Pogudin, G.: Differential Algebra. Lecture notes. http:\/\/www.lix.polytechnique.fr\/Labo\/Gleb.POGUDIN\/files\/da_notes.pdf. Accessed Apr 2024","key":"18_CR24"},{"issue":"2\u20133","key":"18_CR25","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1016\/S0019-9958(61)80020-X","volume":"4","author":"MP Sch\u00fctzenberger","year":"1961","unstructured":"Sch\u00fctzenberger, M.P.: On the definition of a family of automata. Inf. Control 4(2\u20133), 245\u2013270 (1961)","journal-title":"Inf. Control"},{"doi-asserted-by":"publisher","unstructured":"Teguia Tabuguia, B.: Arithmetic of D-algebraic functions. J. Symbolic Comput. 126, 102348 (2023). https:\/\/doi.org\/10.1016\/j.jsc.2024.102348","key":"18_CR26","DOI":"10.1016\/j.jsc.2024.102348"},{"issue":"2","key":"18_CR27","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1145\/3614408.3614415","volume":"57","author":"B Teguia Tabuguia","year":"2023","unstructured":"Teguia Tabuguia, B.: Operations for D-algebraic functions. ACM Commun. Comput. Algebra 57(2), 51\u201356 (2023)","journal-title":"ACM Commun. Comput. Algebra"},{"doi-asserted-by":"crossref","unstructured":"Teguia\u00a0Tabuguia, B.: Computing with hypergeometric-type terms. arXiv preprint arXiv:2404.10143 (2024)","key":"18_CR28","DOI":"10.1016\/j.jsc.2024.102328"},{"unstructured":"Whang, J.P.: On periodic orbits of polynomial maps. arXiv preprint arXiv:2305.13529 (2023)","key":"18_CR29"},{"key":"18_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"422","DOI":"10.1007\/978-3-642-39212-2_38","volume-title":"Automata, Languages, and Programming","author":"J Worrell","year":"2013","unstructured":"Worrell, J.: Revisiting the equivalence problem for finite multitape automata. In: Fomin, F.V., Freivalds, R., Kwiatkowska, M., Peleg, D. (eds.) ICALP 2013. LNCS, vol. 7966, pp. 422\u2013433. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-39212-2_38"}],"container-title":["Lecture Notes in Computer Science","Computer Algebra in Scientific Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-69070-9_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,22]],"date-time":"2024-08-22T11:39:05Z","timestamp":1724326745000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-69070-9_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031690693","9783031690709"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-69070-9_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"21 August 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CASC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Workshop on Computer Algebra in Scientific Computing","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Rennes","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"1 September 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8 September 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"casc2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}