{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,7]],"date-time":"2026-04-07T20:45:28Z","timestamp":1775594728247,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":62,"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":[{"name":"European Union's Horizon 2020 research and innovation programme Marie Skodowska-Curie grant agreement N. 813211 POEMA"},{"name":"ANR-FWF ANR-19-CE48-0015 ECARP project"},{"name":"ANR-19-CE40-0018 De Rerum Natura project"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,7,4]]},"DOI":"10.1145\/3476446.3535471","type":"proceedings-article","created":{"date-parts":[[2022,7,5]],"date-time":"2022-07-05T13:16:01Z","timestamp":1657026961000},"page":"101-110","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Algorithms for Discrete Differential Equations of Order 1"],"prefix":"10.1145","author":[{"given":"Alin","family":"Bostan","sequence":"first","affiliation":[{"name":"Inria, Palaiseau, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fr\u00e9d\u00e9ric","family":"Chyzak","sequence":"additional","affiliation":[{"name":"Inria, Palaiseau, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hadrien","family":"Notarantonio","sequence":"additional","affiliation":[{"name":"Inria, Palaiseau, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohab","family":"Safey El Din","sequence":"additional","affiliation":[{"name":"Sorbonne Universit\u00e9, Paris, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2022,7,5]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/309831.309953"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1137\/1.9781611976465.32"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1073884.1073891"},{"key":"e_1_3_2_1_4_1","first-page":"37","volume-title":"Basic analytic combinatorics of directed lattice paths","author":"Banderier C.","year":"2002","unstructured":"C. Banderier and P. Flajolet . Basic analytic combinatorics of directed lattice paths . volume 281 , pages 37 -- 80 . 2002 . Selected papers in honour of Maurice Nivat . C. Banderier and P. Flajolet. Basic analytic combinatorics of directed lattice paths. volume 281, pages 37--80. 2002. Selected papers in honour of Maurice Nivat."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(83)90110-X"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(88)80039-7"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1137\/S0895480190177650"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jctb.2011.02.003"},{"issue":"1","key":"e_1_3_2_1_9_1","first-page":"181","article-title":"\u00c9quations diff\u00e9rentielles lin\u00e9aires et majorations de multiplicit\u00e9s. Ann. Sci. \u00c9cole Norm","volume":"18","author":"Bertrand D.","year":"1985","unstructured":"D. Bertrand and F. Beukers . \u00c9quations diff\u00e9rentielles lin\u00e9aires et majorations de multiplicit\u00e9s. Ann. Sci. \u00c9cole Norm . Sup. (4) , 18 ( 1 ): 181 -- 192 , 1985 . D. Bertrand and F. Beukers. \u00c9quations diff\u00e9rentielles lin\u00e9aires et majorations de multiplicit\u00e9s. Ann. Sci. \u00c9cole Norm. Sup. (4), 18(1):181--192, 1985.","journal-title":"Sup. (4)"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.4310\/AJM.2011.v15.n2.a4"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ejc.2017.04.009"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00026-016-0328-7"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1090\/mcom\/3007"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1277548.1277553"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ejc.2016.10.010"},{"key":"e_1_3_2_1_16_1","volume-title":"Solving structured linear systems with large displacement rank. Theoret. Comput. Sci., 407(1--3):155--181","author":"Bostan A.","year":"2008","unstructured":"A. Bostan , C.-P. Jeannerod , and E. Schost . Solving structured linear systems with large displacement rank. Theoret. Comput. Sci., 407(1--3):155--181 , 2008 . A. Bostan, C.-P. Jeannerod, and E. Schost. Solving structured linear systems with large displacement rank. Theoret. Comput. Sci., 407(1--3):155--181, 2008."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.46298\/dmtcs.2724"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1112\/blms.12396"},{"key":"e_1_3_2_1_19_1","first-page":"26","article-title":"The number of intervals in the Tamari lattices. Electron. J. Combin., 18(2)","volume":"31","author":"Bousquet-M\u00e9lou M.","year":"2012","unstructured":"M. Bousquet-M\u00e9lou , E. Fusy , and L.-F. Pr\u00e9ville-Ratelle . The number of intervals in the Tamari lattices. Electron. J. Combin., 18(2) : Paper 31 , 26 , 2012 . M. Bousquet-M\u00e9lou, E. Fusy, and L.-F. Pr\u00e9ville-Ratelle. The number of intervals in the Tamari lattices. Electron. J. Combin., 18(2):Paper 31, 26, 2012.","journal-title":"Paper"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jctb.2005.12.003"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01614153"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.4153\/CJM-1963-056-7"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01370732"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.4153\/CJM-1964-058-7"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01178683"},{"key":"e_1_3_2_1_26_1","volume-title":"ACM","author":"Aleardi L. Castelli","year":"2006","unstructured":"L. Castelli Aleardi , O. Devillers , and G. Schaeffer . Optimal succinct representations of planar maps. In Computational geometry (SCG'06), pages 309--318 . ACM , 2006 . L. Castelli Aleardi, O. Devillers, and G. Schaeffer. Optimal succinct representations of planar maps. In Computational geometry (SCG'06), pages 309--318. ACM, 2006."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2015.11.001"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1016\/0885-064X(86)90006-3"},{"key":"e_1_3_2_1_29_1","first-page":"375","volume-title":"Ramanujan revisited (Urbana-Champaign, Ill.","author":"Chudnovsky D. V.","year":"1987","unstructured":"D. V. Chudnovsky and G. V. Chudnovsky . Approximations and complex multiplication according to Ramanujan . In Ramanujan revisited (Urbana-Champaign, Ill. , 1987 ), pages 375 -- 472 . Academic Press , Boston, MA , 1988. D. V. Chudnovsky and G. V. Chudnovsky. Approximations and complex multiplication according to Ramanujan. In Ramanujan revisited (Urbana-Champaign, Ill., 1987), pages 375--472. Academic Press, Boston, MA, 1988."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-09996-4_36"},{"key":"e_1_3_2_1_31_1","volume-title":"Stickelberger and the eigenvalue theorem. arXiv preprint arXiv:2007.12573","author":"Cox D. A.","year":"2020","unstructured":"D. A. Cox . Stickelberger and the eigenvalue theorem. arXiv preprint arXiv:2007.12573 , 2020 . D. A. Cox. Stickelberger and the eigenvalue theorem. arXiv preprint arXiv:2007.12573, 2020."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-5350-1"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.5555\/1506267"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/190347.190415"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1996.0084"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.5555\/2512973"},{"key":"e_1_3_2_1_37_1","volume-title":"Linear recurrences with constant coefficients: the multivariate case. Discrete Math., 225(1--3):51--75","author":"Bousquet-M\u00e9lou M.","year":"2000","unstructured":"M. Bousquet-M\u00e9lou and M. Petkovek . Linear recurrences with constant coefficients: the multivariate case. Discrete Math., 225(1--3):51--75 , 2000 . Formal power series and algebraic combinatorics (Toronto, ON , 1998). M. Bousquet-M\u00e9lou and M. Petkovek. Linear recurrences with constant coefficients: the multivariate case. Discrete Math., 225(1--3):51--75, 2000. Formal power series and algebraic combinatorics (Toronto, ON, 1998)."},{"key":"e_1_3_2_1_38_1","volume-title":"P(x, 1), x, t) = 0","author":"Gessel I. M.","year":"2014","unstructured":"I. M. Gessel and D. Zeilberger . An Empirical Method for Solving (Rigorously!) Algebraic-Functional Equations of the Form F(P(x, t) , P(x, 1), x, t) = 0 , 2014 . Published in the Personal Journal of Shalosh B. Ekhad and Doron Zeilberger , https:\/\/sites.math.rutgers.edu\/~zeilberg\/mamarim\/mamarimhtml\/funeq.html. I. M. Gessel and D. Zeilberger. An Empirical Method for Solving (Rigorously!) Algebraic-Functional Equations of the Form F(P(x, t), P(x, 1), x, t) = 0, 2014. Published in the Personal Journal of Shalosh B. Ekhad and Doron Zeilberger, https:\/\/sites.math.rutgers.edu\/~zeilberg\/mamarim\/mamarimhtml\/funeq.html."},{"issue":"2","key":"e_1_3_2_1_39_1","first-page":"309","article-title":"Asymptotic enumeration and limit laws of planar graphs","volume":"22","author":"Gim\u00e9nez O.","year":"2009","unstructured":"O. Gim\u00e9nez and M. Noy . Asymptotic enumeration and limit laws of planar graphs . J. AMS , 22 ( 2 ): 309 -- 329 , 2009 . O. Gim\u00e9nez and M. Noy. Asymptotic enumeration and limit laws of planar graphs. J. AMS, 22(2):309--329, 2009.","journal-title":"J. AMS"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/860854.860889"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1006\/jcom.2000.0571"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(83)90002-6"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/3326229.3326272"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1137\/0214035"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2008.05.006"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1016\/0001-8708(82)90048-2"},{"issue":"2","key":"e_1_3_2_1_47_1","first-page":"309","article-title":"On the complexity of parametrizing curves","volume":"37","author":"Muk M.","year":"1996","unstructured":"M. Muk , J. R. Sendra , and F. Winkler . On the complexity of parametrizing curves . Beitr\u00e4ge Algebra Geom. , 37 ( 2 ): 309 -- 328 , 1996 . M. Muk, J. R. Sendra, and F. Winkler. On the complexity of parametrizing curves. Beitr\u00e4ge Algebra Geom., 37(2):309--328, 1996.","journal-title":"Beitr\u00e4ge Algebra Geom."},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.2307\/3026553"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0027763000022698"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/2996450"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.5555\/147596.147598"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00289470"},{"key":"e_1_3_2_1_53_1","first-page":"12","article-title":"Inhomogeneous restricted lattice walks. S\u00e9m. Lothar. Combin., 82B","volume":"75","author":"Buchacher M.","year":"2020","unstructured":"M. Buchacher and M. Kauers . Inhomogeneous restricted lattice walks. S\u00e9m. Lothar. Combin., 82B : Art. 75 , 12 , 2020 . M. Buchacher and M. Kauers. Inhomogeneous restricted lattice walks. S\u00e9m. Lothar. Combin., 82B:Art. 75, 12, 2020.","journal-title":"Art."},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00200-002-0109-x"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(08)80144-7"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1996.0083"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.4153\/CJM-1962-002-9"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9904-1968-11877-4"},{"key":"e_1_3_2_1_59_1","volume-title":"On constructive desingularization. J. Symbolic Comput., 39(3- :465--491","author":"O. Villamayor","year":"2005","unstructured":"O. Villamayor U. On constructive desingularization. J. Symbolic Comput., 39(3- :465--491 , 2005 . O. Villamayor U. On constructive desingularization. J. Symbolic Comput., 39(3- :465--491, 2005."},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/800205.806320"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1016\/0012-365X(92)90351-F"},{"key":"e_1_3_2_1_62_1","first-page":"451","volume-title":"The umbral transfer-matrix method. I. Foundations","author":"Zeilberger D.","year":"2000","unstructured":"D. Zeilberger . The umbral transfer-matrix method. I. Foundations . volume 91 , pages 451 -- 463 . 2000 . In memory of Gian-Carlo Rota . D. Zeilberger. The umbral transfer-matrix method. I. Foundations. volume 91, pages 451--463. 2000. In memory of Gian-Carlo Rota."}],"event":{"name":"ISSAC '22: International Symposium on Symbolic and Algebraic Computation","location":"Villeneuve-d'Ascq France","acronym":"ISSAC '22","sponsor":["SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"]},"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.3535471","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3476446.3535471","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:30:47Z","timestamp":1750188647000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3476446.3535471"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,7,4]]},"references-count":62,"alternative-id":["10.1145\/3476446.3535471","10.1145\/3476446"],"URL":"https:\/\/doi.org\/10.1145\/3476446.3535471","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"}}]}}