{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,10]],"date-time":"2025-11-10T11:40:51Z","timestamp":1762774851665,"version":"build-2065373602"},"publisher-location":"New York, NY, USA","reference-count":28,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,7,28]]},"DOI":"10.1145\/3747199.3747542","type":"proceedings-article","created":{"date-parts":[[2025,11,10]],"date-time":"2025-11-10T10:51:17Z","timestamp":1762771877000},"page":"16-24","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["A unified approach for degree bound estimates of linear differential operators"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0006-9749-2858","authenticated-orcid":false,"given":"Louis","family":"Gaillard","sequence":"first","affiliation":[{"name":"ENS de Lyon, Lyon, France"}]}],"member":"320","published-online":{"date-parts":[[2025,11,10]]},"reference":[{"key":"e_1_3_3_1_2_2","unstructured":"Niels\u00a0Henrik Abel. [n. d.]. \u0152uvres completes. Tome II \u00c9ditions J. Gabay Sceaux 1992 Reprint of the second (1881) edition."},{"key":"e_1_3_3_1_3_2","unstructured":"Kossivi Adjamagbo. 1988. Sur l\u2019effectivit\u00e9 du lemme du vecteur cyclique. C. R. Acad. Sci. Paris S\u00e9r. I Math. 306 13 (1988) 543\u2013546."},{"key":"e_1_3_3_1_4_2","doi-asserted-by":"crossref","unstructured":"Gert Almkvist and Doron Zeilberger. 1990. The method of differentiating under the integral sign. J. Symbolic Comput. 10 6 (1990) 571\u2013591. doi:https:\/\/doi.org\/10.1016\/S0747-7171(08)80159-9","DOI":"10.1016\/S0747-7171(08)80159-9"},{"key":"e_1_3_3_1_5_2","doi-asserted-by":"crossref","unstructured":"A.\u00a0S. Amitsur. 1954. Differential polynomials and division algebras. Ann. of Math. (2) 59 (1954) 245\u2013278. doi:https:\/\/doi.org\/10.2307\/1969691","DOI":"10.2307\/1969691"},{"key":"e_1_3_3_1_6_2","doi-asserted-by":"crossref","unstructured":"M.\u00a0A. Barkatou. 1993. An algorithm for computing a companion block diagonal form for a system of linear differential equations. Appl. Algebra Engrg. Comm. Comput. 4 3 (1993) 185\u2013195. doi:https:\/\/doi.org\/10.1007\/BF01202037","DOI":"10.1007\/BF01202037"},{"key":"e_1_3_3_1_7_2","doi-asserted-by":"publisher","DOI":"10.1145\/1837934.1837975"},{"key":"e_1_3_3_1_8_2","doi-asserted-by":"publisher","DOI":"10.1145\/2465506.2465941"},{"key":"e_1_3_3_1_9_2","doi-asserted-by":"publisher","DOI":"10.1145\/1277548.1277553"},{"key":"e_1_3_3_1_10_2","doi-asserted-by":"publisher","DOI":"10.1145\/2442829.2442847"},{"key":"e_1_3_3_1_11_2","doi-asserted-by":"crossref","unstructured":"Manuel Bronstein and Marko Petkov\u0161ek. 1996. An introduction to pseudo-linear algebra. Theoret. Comput. Sci. 157 1 (1996) 3\u201333. doi:https:\/\/doi.org\/10.1016\/0304-3975(95)00173-5","DOI":"10.1016\/0304-3975(95)00173-5"},{"key":"e_1_3_3_1_12_2","doi-asserted-by":"publisher","DOI":"10.1142\/9789812778437_0007"},{"key":"e_1_3_3_1_13_2","doi-asserted-by":"crossref","unstructured":"James Cockle. 1861. On transcendental and algebraic solution. Philosophical Magazine XXI (1861) 379\u2013383.","DOI":"10.1080\/14786446108643074"},{"key":"e_1_3_3_1_14_2","doi-asserted-by":"crossref","unstructured":"W.\u00a0A. Coppel. 1974. Matrices of rational functions. Bull. Austral. Math. Soc. 11 (1974) 89\u2013113. doi:https:\/\/doi.org\/10.1017\/S0004972700043677","DOI":"10.1017\/S0004972700043677"},{"key":"e_1_3_3_1_15_2","first-page":"215","volume-title":"Annales scientifiques de l\u2019\u00c9cole normale sup\u00e9rieure","author":"Hermite Ch","year":"1872","unstructured":"Ch Hermite. 1872. Sur l\u2019int\u00e9gration des fractions rationnelles. In Annales scientifiques de l\u2019\u00c9cole normale sup\u00e9rieure , Vol.\u00a01. 215\u2013218."},{"key":"e_1_3_3_1_16_2","doi-asserted-by":"publisher","DOI":"10.1145\/800204.806314"},{"key":"e_1_3_3_1_17_2","doi-asserted-by":"crossref","unstructured":"N. Jacobson. 1937. Pseudo-linear transformations. Ann. of Math. (2) 38 2 (1937) 484\u2013507. doi:https:\/\/doi.org\/10.2307\/1968565","DOI":"10.2307\/1968565"},{"key":"e_1_3_3_1_18_2","volume-title":"Linear systems","author":"Kailath Thomas","year":"1980","unstructured":"Thomas Kailath. 1980. Linear systems. Prentice-Hall, Inc., Englewood Cliffs, NJ. xxi+682 pages."},{"key":"e_1_3_3_1_19_2","doi-asserted-by":"publisher","DOI":"10.1145\/2608628.2608634"},{"key":"e_1_3_3_1_20_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-34652-1"},{"key":"e_1_3_3_1_21_2","doi-asserted-by":"publisher","DOI":"10.1145\/3087604.3087616"},{"key":"e_1_3_3_1_22_2","doi-asserted-by":"crossref","unstructured":"Walter Keller-Gehrig. 1985. Fast algorithms for the characteristic polynomial. Theoret. Comput. Sci. 36 2-3 (1985) 309\u2013317. doi:https:\/\/doi.org\/10.1016\/0304-3975(85)90049-0","DOI":"10.1016\/0304-3975(85)90049-0"},{"key":"e_1_3_3_1_23_2","doi-asserted-by":"publisher","DOI":"10.1145\/3666000.3669715"},{"key":"e_1_3_3_1_24_2","volume-title":"Introduction to the theory of linear differential equations","author":"Poole Edgar Girard\u00a0Croker","year":"1936","unstructured":"Edgar Girard\u00a0Croker Poole. 1936. Introduction to the theory of linear differential equations. Oxford at the Clarendon Press."},{"key":"e_1_3_3_1_25_2","doi-asserted-by":"crossref","unstructured":"Bruno Salvy. 2019. Linear differential equations as a data structure. Found. Comput. Math. 19 5 (2019) 1071\u20131112. doi:https:\/\/doi.org\/10.1007\/s10208-018-09411-x","DOI":"10.1007\/s10208-018-09411-x"},{"key":"e_1_3_3_1_26_2","doi-asserted-by":"crossref","unstructured":"Bruno Salvy and Paul Zimmermann. 1994. GFUN: A Maple Package for the Manipulation of Generating and Holonomic Functions in One Variable. ACM Transactions on Mathematical Software (TOMS) 20 2 (1994) 163\u2013177.","DOI":"10.1145\/178365.178368"},{"key":"e_1_3_3_1_27_2","doi-asserted-by":"crossref","unstructured":"R.\u00a0P. Stanley. 1980. Differentiably finite power series. European J. Combin. 1 2 (1980) 175\u2013188. doi:https:\/\/doi.org\/10.1016\/S0195-6698(80)80051-5","DOI":"10.1016\/S0195-6698(80)80051-5"},{"key":"e_1_3_3_1_28_2","doi-asserted-by":"crossref","unstructured":"Joris van\u00a0der Hoeven. 2016. On the complexity of skew arithmetic. Appl. Algebra Engrg. Comm. Comput. 27 2 (2016) 105\u2013122. doi:https:\/\/doi.org\/10.1007\/s00200-015-0269-0","DOI":"10.1007\/s00200-015-0269-0"},{"key":"e_1_3_3_1_29_2","doi-asserted-by":"crossref","unstructured":"Doron Zeilberger. 1990. A holonomic systems approach to special functions identities. J. Comput. Appl. Math. 32 3 (1990) 321\u2013368. doi:https:\/\/doi.org\/10.1016\/0377-0427(90)90042-X","DOI":"10.1016\/0377-0427(90)90042-X"}],"event":{"name":"ISSAC '25: International Symposium on Symbolic and Algebraic Computation","sponsor":["SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"],"location":"Guanajuato Mexico","acronym":"ISSAC '25"},"container-title":["Proceedings of the 2025 International Symposium on Symbolic and Algebraic Computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3747199.3747542","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,10]],"date-time":"2025-11-10T11:39:07Z","timestamp":1762774747000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3747199.3747542"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,7,28]]},"references-count":28,"alternative-id":["10.1145\/3747199.3747542","10.1145\/3747199"],"URL":"https:\/\/doi.org\/10.1145\/3747199.3747542","relation":{},"subject":[],"published":{"date-parts":[[2025,7,28]]},"assertion":[{"value":"2025-11-10","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}