{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,10]],"date-time":"2026-07-10T03:12:40Z","timestamp":1783653160308,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":36,"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"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,7,4]]},"DOI":"10.1145\/3476446.3535503","type":"proceedings-article","created":{"date-parts":[[2022,7,5]],"date-time":"2022-07-05T13:16:01Z","timestamp":1657026961000},"page":"73-82","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Symbolic-Numeric Factorization of Differential Operators"],"prefix":"10.1145","author":[{"given":"Fr\u00e9d\u00e9ric","family":"Chyzak","sequence":"first","affiliation":[{"name":"Inria, Palaiseau, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alexandre","family":"Goyer","sequence":"additional","affiliation":[{"name":"Inria, Palaiseau, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Marc","family":"Mezzarobba","sequence":"additional","affiliation":[{"name":"LIX, CNRS, \u00c9cole polytechnique, Institut polytechnique de Paris, Palaiseau, France"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2022,7,5]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"crossref","unstructured":"L\u00e1szl\u00f3 Babai and Lajos R\u00f3nyai. 1990. Computing irreducible representations of finite groups. Mathematics of computation 55 192 705--722.  L\u00e1szl\u00f3 Babai and Lajos R\u00f3nyai. 1990. Computing irreducible representations of finite groups. Mathematics of computation 55 192 705--722.","DOI":"10.1090\/S0025-5718-1990-1035925-1"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01446541"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1112\/blms.12396"},{"key":"e_1_3_2_1_4_1","unstructured":"Nicolas Bourbaki. 1990. Algebra. II. Chapters 4--7. Springer.  Nicolas Bourbaki. 1990. Algebra. II. Chapters 4--7. Springer."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","unstructured":"Murray R. Bremner. 2010. How to compute the Wedderburn decomposition of a finite-dimensional associative algebra. arXiv:1008.2006.  Murray R. Bremner. 2010. How to compute the Wedderburn decomposition of a finite-dimensional associative algebra. arXiv:1008.2006.","DOI":"10.1515\/gcc.2011.003"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/190347.190436"},{"key":"e_1_3_2_1_7_1","unstructured":"Fr\u00e9d\u00e9ric Chyzak Thomas Dreyfus Philippe Dumas and Marc Mezzarobba. 2022. First-order factors of linear Mahler operators. In preparation.  Fr\u00e9d\u00e9ric Chyzak Thomas Dreyfus Philippe Dumas and Marc Mezzarobba. 2022. First-order factors of linear Mahler operators. In preparation."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","unstructured":"John D. Dixon. 1970. Computing irreducible representations of groups. Mathematics of Computation 24 111 707--712.  John D. Dixon. 1970. Computing irreducible representations of groups. Mathematics of Computation 24 111 707--712.","DOI":"10.1090\/S0025-5718-1970-0280611-6"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"crossref","unstructured":"Wayne M. Eberly. 1991. Decomposition of algebras over finite fields and number fields. Computational complexity 1 2 183--210.  Wayne M. Eberly. 1991. Decomposition of algebras over finite fields and number fields. Computational complexity 1 2 183--210.","DOI":"10.1007\/BF01272520"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/800204.806285"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3493492.3493496"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/87834.87840"},{"key":"e_1_3_2_1_14_1","volume-title":"Ordinary Differential Equations in the Complex Domain","author":"Hille Einar","unstructured":"Einar Hille . 1976. Ordinary Differential Equations in the Complex Domain . John Wiley & Sons . Einar Hille. 1976. Ordinary Differential Equations in the Complex Domain. John Wiley & Sons."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1446788700036016"},{"key":"e_1_3_2_1_16_1","volume-title":"Ordinary Differential Equations","author":"Ince Edward L.","unstructured":"Edward L. Ince . 1926. Ordinary Differential Equations . Dover Publications , New York . Edward L. Ince. 1926. Ordinary Differential Equations. Dover Publications, New York."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2465506.2465513"},{"key":"e_1_3_2_1_18_1","unstructured":"Irving Kaplansky. 1972. Fields and Rings. University of Chicago Press.  Irving Kaplansky. 1972. Fields and Rings. University of Chicago Press."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1080\/00029890.1998.12004939"},{"key":"e_1_3_2_1_21_1","volume-title":"Representations of groups: a computational approach","author":"Lux Klaus","unstructured":"Klaus Lux and Herbert Pahlings . 2010. Representations of groups: a computational approach . Volume 124 . Cambridge University Press . Klaus Lux and Herbert Pahlings. 2010. Representations of groups: a computational approach. Volume 124. Cambridge University Press."},{"key":"e_1_3_2_1_22_1","volume-title":"Divergent Series, Summability and Resurgence II. Monodromy and Resurgence","author":"Mitschi Claude","unstructured":"Claude Mitschi and David Sauzin . 2016. Divergent Series, Summability and Resurgence II. Monodromy and Resurgence . Springer . Claude Mitschi and David Sauzin. 2016. Divergent Series, Summability and Resurgence II. Monodromy and Resurgence. Springer."},{"key":"e_1_3_2_1_23_1","volume-title":"Proceedings of the London Mathematical Society Symposium on Computational Group Theory, 267--274","author":"Parker Richard A.","year":"1984","unstructured":"Richard A. Parker . 1984 . The computer calculation of modular characters (the Meat-Axe) . In Proceedings of the London Mathematical Society Symposium on Computational Group Theory, 267--274 . Richard A. Parker. 1984. The computer calculation of modular characters (the Meat-Axe). In Proceedings of the London Mathematical Society Symposium on Computational Group Theory, 267--274."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"crossref","unstructured":"Richard S. Pierce. 1982. Associative Algebras. Springer.  Richard S. Pierce. 1982. Associative Algebras. Springer.","DOI":"10.1007\/978-1-4757-0163-0"},{"key":"e_1_3_2_1_25_1","volume-title":"Introduction to the Theory of Linear Differential Equations","author":"Poole Edgar G. C.","unstructured":"Edgar G. C. Poole . 1936. Introduction to the Theory of Linear Differential Equations . Clarendon Press , Oxford . Edgar G. C. Poole. 1936. Introduction to the Theory of Linear Differential Equations. Clarendon Press, Oxford."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/74540.74544"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01191378"},{"key":"e_1_3_2_1_28_1","unstructured":"David E Speyer. 2012. Invariant subspaces if is defined by more than one matrix. (version: 2017-04--13).  David E Speyer. 2012. Invariant subspaces if is defined by more than one matrix. (version: 2017-04--13)."},{"key":"e_1_3_2_1_30_1","first-page":"1","article-title":"Problems that appear during factorization of ordinary linear differential operators","volume":"20","author":"Tsarev Sergey P.","year":"1994","unstructured":"Sergey P. Tsarev . 1994 . Problems that appear during factorization of ordinary linear differential operators . Programming and Computer Software , 20 , 1 . Sergey P. Tsarev. 1994. Problems that appear during factorization of ordinary linear differential operators. Programming and Computer Software, 20, 1.","journal-title":"Programming and Computer Software"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1997.0151"},{"key":"e_1_3_2_1_32_1","unstructured":"Mark van Hoeij. 2004. FactorOrder4. https:\/\/www.math.fsu.edu\/~hoeij\/algorithms\/various\/FactorOrder4.  Mark van Hoeij. 2004. FactorOrder4. https:\/\/www.math.fsu.edu\/~hoeij\/algorithms\/various\/FactorOrder4."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/236869.237078"},{"key":"e_1_3_2_1_34_1","unstructured":"Mark van Hoeij. 1997. The diffop package. https:\/\/www.math.fsu.edu\/~hoeij\/daisy\/lib\/DEtools\/diffop\/.  Mark van Hoeij. 1997. The diffop package. https:\/\/www.math.fsu.edu\/~hoeij\/daisy\/lib\/DEtools\/diffop\/."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2006.03.007"},{"key":"e_1_3_2_1_36_1","volume-title":"Logical approaches to Barriers in Computing and Complexity (Preprint-Reihe Mathematik) number 6","author":"van der Hoeven Joris","unstructured":"Joris van der Hoeven . 2010. Ball arithmetic . In Logical approaches to Barriers in Computing and Complexity (Preprint-Reihe Mathematik) number 6 . Arnold Beckmann, Christine Ga\u00dfner, and Bededikt L\u00f6we, editors. Ernst-Moritz-Arndt-Universit\u00e4t Greifswald , 179--208. Joris van der Hoeven. 2010. Ball arithmetic. In Logical approaches to Barriers in Computing and Complexity (Preprint-Reihe Mathematik) number 6. Arnold Beckmann, Christine Ga\u00dfner, and Bededikt L\u00f6we, editors. Ernst-Moritz-Arndt-Universit\u00e4t Greifswald, 179--208."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2006.12.005"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00200-015-0269-0"},{"key":"e_1_3_2_1_39_1","volume-title":"Singer","author":"van der Put Marius","year":"2003","unstructured":"Marius van der Put and Michael F . Singer . 2003 . Galois Theory of Linear Differential Equations. Springer-Verlag Berlin Heidelberg . Marius van der Put and Michael F. Singer. 2003. Galois Theory of Linear Differential Equations. Springer-Verlag Berlin Heidelberg."}],"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.3535503","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3476446.3535503","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T17:49:19Z","timestamp":1750268959000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3476446.3535503"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,7,4]]},"references-count":36,"alternative-id":["10.1145\/3476446.3535503","10.1145\/3476446"],"URL":"https:\/\/doi.org\/10.1145\/3476446.3535503","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"}}]}}