{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,10]],"date-time":"2025-11-10T14:01:18Z","timestamp":1762783278684,"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.3747559","type":"proceedings-article","created":{"date-parts":[[2025,11,10]],"date-time":"2025-11-10T10:51:17Z","timestamp":1762771877000},"page":"169-177","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Polynomial solutions for general linear polynomial ordinary integro-differential systems"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-0796-2838","authenticated-orcid":false,"given":"Thomas","family":"Cluzeau","sequence":"first","affiliation":[{"name":"Universit\u00e9 de Limoges, XLIM, LIMOGES, France"}]},{"ORCID":"https:\/\/orcid.org\/0009-0009-5146-6955","authenticated-orcid":false,"given":"Camille","family":"Pinto","sequence":"additional","affiliation":[{"name":"Sorbonne Universit\u00e9, Inria Paris, PARIS, France"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6466-2172","authenticated-orcid":false,"given":"Alban","family":"Quadrat","sequence":"additional","affiliation":[{"name":"Sorbonne Universit\u00e9, Inria Paris, Paris, France"}]}],"member":"320","published-online":{"date-parts":[[2025,11,10]]},"reference":[{"key":"e_1_3_3_1_2_2","doi-asserted-by":"crossref","unstructured":"M.\u00a0Barkatou. On rational solutions of systems of linear differential equations. Journal of Symbolic Computation 28 547-567 1999.","DOI":"10.1006\/jsco.1999.0314"},{"key":"e_1_3_3_1_3_2","doi-asserted-by":"crossref","unstructured":"M.\u00a0Barkatou T.\u00a0Cluzeau. On polynomial solutions of linear integro-differential equations. Proceedings of the 8th IFAC Symposium on System Structure and Control Montreal Canada 2022.","DOI":"10.1016\/j.ifacol.2022.11.300"},{"key":"e_1_3_3_1_4_2","doi-asserted-by":"crossref","unstructured":"M.\u00a0Barkatou T.\u00a0Cluzeau. On the computation of rational solutions of linear integro-differential equations with polynomial coefficients. Journal of Symbolic Computation 121 2024.","DOI":"10.1016\/j.jsc.2023.102252"},{"key":"e_1_3_3_1_5_2","doi-asserted-by":"crossref","unstructured":"M.\u00a0Barkatou T.\u00a0Cluzeau C.\u00a0El Bacha J.-A.\u00a0Weil. Computing closed-form solutions of integrable connections. Proceedings of ISSAC\u201912 43-50 2012 https:\/\/www.unilim.fr\/pages_perso\/thomas.cluzeau\/Packages\/IntegrableConnections\/PDS.html.","DOI":"10.1145\/2442829.2442840"},{"key":"e_1_3_3_1_6_2","doi-asserted-by":"crossref","unstructured":"V.\u00a0V.\u00a0Bavula. The algebra of integro-differential operators on an affine line and its modules. Journal of Pure and Applied Algebra 217 (3) 495-529 2013.","DOI":"10.1016\/j.jpaa.2012.06.024"},{"key":"e_1_3_3_1_7_2","unstructured":"A.\u00a0Borel. Algebraic D-modules. Perspectives in Mathematics vol. 2 Academic Press 1987."},{"key":"e_1_3_3_1_8_2","unstructured":"M.\u00a0Bulatov O. S.\u00a0Budnikova. On stable algorithms for numerical solution of integral-algebraic equations. Bulletin of the South Ural State University Series Mathematical Modelling Programming and Computer Software 2013."},{"key":"e_1_3_3_1_9_1","doi-asserted-by":"crossref","unstructured":"Chyzak et\u00a0al.(2005) [8] F.\u00a0Chyzak A.\u00a0Quadrat D.\u00a0Robertz. Effective algorithms for parametrizing linear control systems over Ore algebras. Appl. Algebra Engrg. Comm. Comput. 16 319-376 2005.","DOI":"10.1007\/s00200-005-0188-6"},{"key":"e_1_3_3_1_10_2","doi-asserted-by":"crossref","unstructured":"F.\u00a0Chyzak A.\u00a0Quadrat D.\u00a0Robertz. OreModules: A symbolic package for the study of multidimensional linear systems. Applications of Time-Delay Systems Lecture Notes in Control and Information Sciences 352 Springer 233-264 2007 https:\/\/who.rocq.inria.fr\/Alban.Quadrat\/OreModules.html.","DOI":"10.1007\/978-3-540-49556-7_15"},{"key":"e_1_3_3_1_11_2","doi-asserted-by":"crossref","unstructured":"F.\u00a0Chyzak B.\u00a0Salvy. Non-commutative elimination in Ore algebras proves multivariate identities. Journal of Symbolic Computation 26 187-227 1998.","DOI":"10.1006\/jsco.1998.0207"},{"key":"e_1_3_3_1_12_2","doi-asserted-by":"crossref","unstructured":"T.\u00a0Cluzeau C.\u00a0Pinto A.\u00a0Quadrat. Further results on the computation of the annihilator of integro-differential operator. Proceedings of ISSAC\u201923 182-190 2023.","DOI":"10.1145\/3597066.3597083"},{"key":"e_1_3_3_1_13_2","doi-asserted-by":"crossref","unstructured":"T.\u00a0Cluzeau C.\u00a0Pinto A.\u00a0Quadrat. Effective characterization of evaluation ideals of the ring of integro-differential operators. Proceedings of ISSAC\u201924 117-125 2024.","DOI":"10.1145\/3666000.3669682"},{"key":"e_1_3_3_1_14_2","doi-asserted-by":"crossref","unstructured":"T.\u00a0Cluzeau C.\u00a0Pinto A.\u00a0Quadrat. An algorithmic proof of the coherence of the ring of polynomial ordinary integro-differential operators. Proceedings of ISSAC\u201925 2025.","DOI":"10.1145\/3747199.3747560"},{"key":"e_1_3_3_1_15_2","unstructured":"T.\u00a0Cluzeau C.\u00a0Pinto A.\u00a0Quadrat. Bavula A symbolic package for linear ordinary polynomial integro-differential systems. Freely available on the authors\u2019 web pages."},{"key":"e_1_3_3_1_16_2","doi-asserted-by":"crossref","unstructured":"T.\u00a0Cluzeau C.\u00a0Pinto A.\u00a0Quadrat. The effective Cramer property of the ring of polynomial ordinary linear integro-differential operators. In preparation 2025.","DOI":"10.1145\/3747199.3747560"},{"key":"e_1_3_3_1_17_2","doi-asserted-by":"crossref","unstructured":"T.\u00a0Cluzeau A.\u00a0Quadrat. Factoring and decomposing a class of linear functional systems. Linear Algebra and its Applications 428 324-381 2008.","DOI":"10.1016\/j.laa.2007.07.008"},{"key":"e_1_3_3_1_18_2","doi-asserted-by":"crossref","unstructured":"S.\u00a0C.\u00a0Coutinho. A Primer of Algebraic D-modules. Cambridge University Press 1995.","DOI":"10.1017\/CBO9780511623653"},{"key":"e_1_3_3_1_19_2","doi-asserted-by":"crossref","unstructured":"M.\u00a0Kashiwara T.\u00a0Kawai T.\u00a0Kimura. Foundations of Algebraic Analysis. Princeton University Press 1986.","DOI":"10.1515\/9781400886098"},{"key":"e_1_3_3_1_20_2","doi-asserted-by":"crossref","unstructured":"A.\u00a0Korporal G.\u00a0Regensburger M.\u00a0Rosenkranz. Symbolic computation for ordinary boundary problems inMaple. ACM Communications in Computer Algebra 44 (3\/4) 120-122 2011.","DOI":"10.1145\/1940475.1940495"},{"key":"e_1_3_3_1_21_2","doi-asserted-by":"crossref","unstructured":"J.\u00a0C.\u00a0McConnell J.\u00a0C.\u00a0Robson. Noncommutative Noetherian Rings. American Mathematical Society 2000.","DOI":"10.1090\/gsm\/030"},{"key":"e_1_3_3_1_22_2","doi-asserted-by":"crossref","unstructured":"T.\u00a0Oaku N.\u00a0Takayama H.\u00a0Tsai. Polynomial and rational solutions of holonomic systems. Journal of Pure and Applied Algebra 164 199-220 2001.","DOI":"10.1016\/S0022-4049(00)00153-5"},{"key":"e_1_3_3_1_23_2","doi-asserted-by":"crossref","unstructured":"H.\u00a0Tsai U.\u00a0Walther Computing homomorphisms between holonomic D-modules. Journal of Symbolic Computation 32 597-617 2001.","DOI":"10.1006\/jsco.2001.0485"},{"key":"e_1_3_3_1_24_2","doi-asserted-by":"crossref","unstructured":"A.\u00a0Quadrat. An introduction to constructive algebraic analysis and its applications. Les cours du CIRM Journ\u00e9es Nationales de Calcul Formel (2010) 281-471 2010.","DOI":"10.5802\/ccirm.11"},{"key":"e_1_3_3_1_25_2","doi-asserted-by":"crossref","unstructured":"A.\u00a0Quadrat G.\u00a0Regensburger. Computing polynomial solutions and annihilators of integro-differential operators with polynomial coefficients. Algebraic Methods and Symbolic Computation Methods in Dynamical Systems Advances in Delays and Dynamics 9 87-114 2020.","DOI":"10.1007\/978-3-030-38356-5_3"},{"key":"e_1_3_3_1_26_2","doi-asserted-by":"crossref","unstructured":"G.\u00a0Regensburger M.\u00a0Rosenkranz J.\u00a0Middeke. A skew polynomial approach to integro-differential operators. Proceedings of ISSAC\u201909 287-294 2009.","DOI":"10.1145\/1576702.1576742"},{"key":"e_1_3_3_1_27_2","doi-asserted-by":"crossref","unstructured":"J.\u00a0J.\u00a0Rotman. An Introduction to Homological Algebra. Springer 2nd edition 2009.","DOI":"10.1007\/b98977"},{"key":"e_1_3_3_1_28_2","doi-asserted-by":"crossref","unstructured":"J.\u00a0T.\u00a0Stafford. Module structure of Weyl algebras. J. London Math. Soc. 18 (3): 429-442 1978.","DOI":"10.1112\/jlms\/s2-18.3.429"},{"key":"e_1_3_3_1_29_2","doi-asserted-by":"crossref","unstructured":"A.-M.\u00a0Wazwaz. Linear and Nonlinear Integral Equations - Methods and Applications. Springer Verlag Berlin Heidelberg 2011.","DOI":"10.1007\/978-3-642-21449-3"}],"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.3747559","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,10]],"date-time":"2025-11-10T11:39:28Z","timestamp":1762774768000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3747199.3747559"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,7,28]]},"references-count":28,"alternative-id":["10.1145\/3747199.3747559","10.1145\/3747199"],"URL":"https:\/\/doi.org\/10.1145\/3747199.3747559","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"}}]}}