{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,10]],"date-time":"2025-11-10T14:01:29Z","timestamp":1762783289326,"version":"build-2065373602"},"publisher-location":"New York, NY, USA","reference-count":38,"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.3747560","type":"proceedings-article","created":{"date-parts":[[2025,11,10]],"date-time":"2025-11-10T10:51:17Z","timestamp":1762771877000},"page":"178-187","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["An algorithmic proof of the coherence of the ring of polynomial ordinary integro-differential operators"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-0796-2838","authenticated-orcid":false,"given":"Thomas","family":"Cluzeau","sequence":"first","affiliation":[{"name":"University of 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 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_3_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.","DOI":"10.1145\/2442829.2442840"},{"key":"e_1_3_3_1_4_2","unstructured":"M.\u00a0Barakat M.\u00a0Lange-Hegermann. https:\/\/github.com\/homalg-project\/CapAndHomalg.jl"},{"key":"e_1_3_3_1_5_2","doi-asserted-by":"crossref","unstructured":"M.\u00a0Barakat M.\u00a0Lange-Hegermann. An axiomatic setup for algorithmic homological algebra and an alternative approach to localization. J. Algebra Appl. 10(2) 269-293 2011.","DOI":"10.1142\/S0219498811004562"},{"key":"e_1_3_3_1_6_2","doi-asserted-by":"crossref","unstructured":"M.\u00a0Barakat R.\u00a0Br\u00fcser C.\u00a0Fieker T.\u00a0Huber J.\u00a0Piclum. Feynman integral reduction using Gr\u00f6bner bases. Journal of High Energy Physics volume 168 2023.","DOI":"10.1007\/JHEP05(2023)168"},{"key":"e_1_3_3_1_7_2","doi-asserted-by":"crossref","unstructured":"V.\u00a0V.\u00a0Bavula. The algebra of integro-differential operators on a polynomial algebra. J. London Math. Soc. 83(2) 517-543 2011.","DOI":"10.1112\/jlms\/jdq081"},{"key":"e_1_3_3_1_8_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_9_2","doi-asserted-by":"crossref","unstructured":"F.\u00a0Boulier F.\u00a0Lemaire M.\u00a0Rosenkranz R.\u00a0Ushirobira N.\u00a0Verdi\u00e8re. On symbolic approaches to integro-differential equations. Algebraic and Symbolic Computation Methods in Dynamical Systems 9 Springer 161-182 2020.","DOI":"10.1007\/978-3-030-38356-5_6"},{"key":"e_1_3_3_1_10_2","unstructured":"A.\u00a0Borel. Algebraic D-modules. Perspectives in Mathematics vol. 2 Academic Press 1987."},{"key":"e_1_3_3_1_11_2","doi-asserted-by":"crossref","unstructured":"M.\u00a0Chartouny T.\u00a0Cluzeau A.\u00a0Quadrat. Algorithmic study of the algebraic parameter estimation problem for a class of perturbations. Maple Transactions 3(1) 2023.","DOI":"10.5206\/mt.v2i2.14467"},{"key":"e_1_3_3_1_12_2","doi-asserted-by":"crossref","unstructured":"F.\u00a0Chyzak. Gr\u00f6bner bases symbolic summation and symbolic integration. Grb\u030ener Bases and Applications London Mathematical Society Lecture Note Series vol. 251 32-60 Cambridge Univ. Press 1998.","DOI":"10.1017\/CBO9780511565847.004"},{"key":"e_1_3_3_1_13_1","doi-asserted-by":"crossref","unstructured":"Chyzak et\u00a0al.(2005) [12] 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_14_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_15_2","doi-asserted-by":"crossref","unstructured":"T.\u00a0Cluzeau C.\u00a0Koutschan A.\u00a0Quadrat M.\u00a0T\u00f5nso. Effective algebraic analysis approach to linear systems over Ore algebras. In Algebraic Methods and Symbolic-Numeric Computation in Systems Theory Advances in Delays and Dynamics (ADD) volume 9 Springer 4-52 2020 https:\/\/who.rocq.inria.fr\/Alban.Quadrat\/OreAlgebraicAnalysis\/index.html.","DOI":"10.1007\/978-3-030-38356-5_1"},{"key":"e_1_3_3_1_16_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_17_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_18_2","doi-asserted-by":"crossref","unstructured":"T.\u00a0Cluzeau C.\u00a0Pinto A.\u00a0Quadrat. Polynomial solutions for general linear polynomial ordinary integro-differential systems. Proceedings of ISSAC\u201925 2025.","DOI":"10.1145\/3747199.3747559"},{"key":"e_1_3_3_1_19_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_20_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_21_2","doi-asserted-by":"crossref","unstructured":"N. Jacobson. Some remarks on one-sided inverses. Proceedings of the American Mathematical Society 1(3) 352-355 1950.","DOI":"10.1090\/S0002-9939-1950-0036223-1"},{"key":"e_1_3_3_1_22_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_23_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_24_2","unstructured":"C.\u00a0Koutschan. Advanced applications of the holonomic systems approach. Ph.D. thesis Johannes Kepler University 2009. http:\/\/www3.risc.jku.at\/research\/combinat\/software\/ergosum\/RISC\/HolonomicFunctions.html (HolonomicFunctions)."},{"key":"e_1_3_3_1_25_2","doi-asserted-by":"crossref","unstructured":"V.\u00a0Levandovskyy H.\u00a0Sch\u00f6nemann. PLURAL\u2014a Computer Algebra System for Noncommutative Polynomial Algebras. Proceedings of ISSAC\u201903 176-183 2003.","DOI":"10.1145\/860854.860895"},{"key":"e_1_3_3_1_26_2","doi-asserted-by":"crossref","unstructured":"F.\u00a0Lemaire L.\u00a0Roussel. Parameter estimation using integral equations. Maple Transactions 4(1): 1-15 2024.","DOI":"10.5206\/mt.v4i1.17126"},{"key":"e_1_3_3_1_27_2","doi-asserted-by":"crossref","unstructured":"F.\u00a0Lemaire L.\u00a0Roussel. Contribution to integral elimination. Computer Algebra in Scientific Computing. CASC 2024. Lecture Notes in Computer Science vol 14938. Springer 215-235 2024.","DOI":"10.1007\/978-3-031-69070-9_13"},{"key":"e_1_3_3_1_28_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_29_2","unstructured":"D.\u00a0Przeworska-Rolewicz H. von Trotha. Right Inverses in D-R Algebras with Unit. Journal of Integral Equations no. 3 245?59 1981."},{"key":"e_1_3_3_1_30_2","doi-asserted-by":"crossref","unstructured":"A.\u00a0Quadrat. The fractional representation approach to synthesis problems: an algebraic analysis viewpoint. Part I: (weakly) doubly coprime factorizations. SIAM J. Control & Optimization 42 (1) 266-299 2003.","DOI":"10.1137\/S0363012902417127"},{"key":"e_1_3_3_1_31_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 281-471 2010.","DOI":"10.5802\/ccirm.11"},{"key":"e_1_3_3_1_32_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_33_2","doi-asserted-by":"crossref","unstructured":"G.\u00a0Regensburger M.\u00a0Rosenkranz. An algebraic foundation for factoring linear boundary problems. Annali di Matematica 188 123-151 2009.","DOI":"10.1007\/s10231-008-0068-3"},{"key":"e_1_3_3_1_34_2","doi-asserted-by":"crossref","unstructured":"M. Rosenkranz. A new symbolic method for solving linear two-point boundary value problems on the level of operators. J. Symbolic Comput. 39(2) 171-199 2005.","DOI":"10.1016\/j.jsc.2004.09.004"},{"key":"e_1_3_3_1_35_2","doi-asserted-by":"crossref","unstructured":"M.\u00a0Rosenkranz G. Regensburger. Solving and factoring boundary problems for linear ordinary differential equations in differential algebras. J. Symbolic Comput. 43(8) 515-544 2008.","DOI":"10.1016\/j.jsc.2007.11.007"},{"key":"e_1_3_3_1_36_2","doi-asserted-by":"crossref","unstructured":"M.\u00a0Rosenkranz G.\u00a0Regensburger Integro-Differential Polynomials and Operators. Proceedings of ISSAC\u201908 261-268 2008.","DOI":"10.1145\/1390768.1390805"},{"key":"e_1_3_3_1_37_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_38_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_39_2","doi-asserted-by":"crossref","unstructured":"B.\u00a0Stenstr\u00f6m. Rings of Quotients. An Introduction to Methods of Ring Theory. Springer 1975.","DOI":"10.1007\/978-3-642-66066-5"}],"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.3747560","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,10]],"date-time":"2025-11-10T11:39:19Z","timestamp":1762774759000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3747199.3747560"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,7,28]]},"references-count":38,"alternative-id":["10.1145\/3747199.3747560","10.1145\/3747199"],"URL":"https:\/\/doi.org\/10.1145\/3747199.3747560","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"}}]}}