{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T01:59:04Z","timestamp":1760061544009,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":25,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,7,20]],"date-time":"2016-07-20T00:00:00Z","timestamp":1468972800000},"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":[[2016,7,20]]},"DOI":"10.1145\/2930889.2930932","type":"proceedings-article","created":{"date-parts":[[2016,7,19]],"date-time":"2016-07-19T11:59:33Z","timestamp":1468929573000},"page":"63-70","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Computing the Lie Algebra of the Differential Galois Group of a Linear Differential System"],"prefix":"10.1145","author":[{"given":"Moulay","family":"Barkatou","sequence":"first","affiliation":[{"name":"University of Limoges ; CNRS ; XLIM UMR 7252, Limoges, France"}]},{"given":"Thomas","family":"Cluzeau","sequence":"additional","affiliation":[{"name":"University of Limoges ; CNRS ; XLIM UMR 7252, Limoges, France"}]},{"given":"Jacques-Arthur","family":"Weil","sequence":"additional","affiliation":[{"name":"University of Limoges ; CNRS ; XLIM UMR 7252, Limoges, France"}]},{"given":"Lucia","family":"Di Vizio","sequence":"additional","affiliation":[{"name":"University of Versailles Saint-Quentin-En Yvelines, Laboratoire de Math\u00e9matiques, Versailles, France"}]}],"member":"320","published-online":{"date-parts":[[2016,7,20]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993886.1993896"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jpaa.2012.11.007"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2015.08.009"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/2947513.2947563"},{"key":"e_1_3_2_1_5_1","volume-title":"Proc. of the Waterloo Workshop, Ontario, Canada (10--12\/04\/06)","author":"Barkatou M. A.","year":"2007","unstructured":"M. A. Barkatou . Factoring systems of linear functional equations using eigenrings. Latest Advances in Symbolic Algorithms , Proc. of the Waterloo Workshop, Ontario, Canada (10--12\/04\/06) , I. Kotsireas and E. Zima (Eds.), World Scientific:22--42 , 2007 . M. A. Barkatou. Factoring systems of linear functional equations using eigenrings. Latest Advances in Symbolic Algorithms, Proc. of the Waterloo Workshop, Ontario, Canada (10--12\/04\/06), I. Kotsireas and E. Zima (Eds.), World Scientific:22--42, 2007."},{"key":"e_1_3_2_1_6_1","unstructured":"M. A. Barkatou T. Cluzeau C. El Bacha and J.-A. Weil. Integrable Connections http:\/\/www.unilim.fr\/pages_perso\/thomas.cluzeau\/PDS.html.  M. A. Barkatou T. Cluzeau C. El Bacha and J.-A. Weil. Integrable Connections http:\/\/www.unilim.fr\/pages_perso\/thomas.cluzeau\/PDS.html."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2442829.2442840"},{"key":"e_1_3_2_1_8_1","unstructured":"M. A. Barkatou and E. Pfluegel. Isolde (Integration of Systems of Ordinary Linear Differential Equations) project http:\/\/isolde.sourceforge.net\/.  M. A. Barkatou and E. Pfluegel. Isolde (Integration of Systems of Ordinary Linear Differential Equations) project http:\/\/isolde.sourceforge.net\/."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/281508.281633"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2755996.2756674"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/860854.860875"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1999.0311"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jalgebra.2003.11.010"},{"key":"e_1_3_2_1_14_1","series-title":"North-Holland Mathematical Library","volume-title":"Lie Algebras: Theory and Algorithms","author":"de Graaf W.","year":"2000","unstructured":"W. de Graaf . Lie Algebras: Theory and Algorithms . volume 56 of North-Holland Mathematical Library . Elsevier , 2000 . W. de Graaf. Lie Algebras: Theory and Algorithms. volume 56 of North-Holland Mathematical Library. Elsevier, 2000."},{"key":"e_1_3_2_1_15_1","volume-title":"Preprint","author":"Dreyfus T.","year":"2016","unstructured":"T. Dreyfus and J.-A. Weil . Computing the Lie algebra of the differential Galois group: the reducible case . Preprint , February 2016 . T. Dreyfus and J.-A. Weil. Computing the Lie algebra of the differential Galois group: the reducible case. Preprint, February 2016."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.aam.2015.01.001"},{"key":"e_1_3_2_1_17_1","series-title":"Horwood Series in Math","volume-title":"Kronecker Products and Matrix Calculus with Applications. E","author":"Graham M. A.","year":"1981","unstructured":"M. A. Graham . Kronecker Products and Matrix Calculus with Applications. E . Horwood Series in Math . and its Appl. Wiley & Sons , 1981 . M. A. Graham. Kronecker Products and Matrix Calculus with Applications. E. Horwood Series in Math. and its Appl. Wiley & Sons, 1981."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/CCC.2012.34"},{"key":"e_1_3_2_1_19_1","series-title":"Banach Center Publ","first-page":"97","volume-title":"Differential Galois theory (Bedlewo","author":"Hrushovski E.","year":"2001","unstructured":"E. Hrushovski . Computing the Galois group of a linear differential equation. In Differential Galois theory (Bedlewo , 2001 ), volume 58 of Banach Center Publ ., pages 97 -- 138 . Polish Acad. Sci., Warsaw , 2002. E. Hrushovski. Computing the Galois group of a linear differential equation. In Differential Galois theory (Bedlewo, 2001), volume 58 of Banach Center Publ., pages 97--138. Polish Acad. Sci., Warsaw, 2002."},{"key":"e_1_3_2_1_20_1","series-title":"Graduate Texts in Mathematics","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-6398-2","volume-title":"Introduction to Lie Algebras and Representation Theory","author":"Humphreys J. E.","year":"1972","unstructured":"J. E. Humphreys . Introduction to Lie Algebras and Representation Theory , volume 9 of Graduate Texts in Mathematics . Springer-Verlag , 1972 . J. E. Humphreys. Introduction to Lie Algebras and Representation Theory, volume 9 of Graduate Texts in Mathematics. Springer-Verlag, 1972."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.24033\/bsmf.1960"},{"key":"e_1_3_2_1_22_1","first-page":"173","article-title":"Solving linear differential equations. Journal of Pure Appl. Math., Q. 6, no. 1, Special Issue: In honor of John Tate","volume":"2","author":"Nguyen K. A.","year":"2010","unstructured":"K. A. Nguyen and M. van der Put . Solving linear differential equations. Journal of Pure Appl. Math., Q. 6, no. 1, Special Issue: In honor of John Tate . Part 2 : 173 -- 208 , 2010 . K. A. Nguyen and M. van der Put. Solving linear differential equations. Journal of Pure Appl. Math., Q. 6, no. 1, Special Issue: In honor of John Tate. Part 2:173--208, 2010.","journal-title":"Part"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01191378"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2006.03.007"},{"key":"e_1_3_2_1_25_1","series-title":"Grundlehren der Mathematischen Wissenschaften {Fundamental Principles of Mathematical Sciences}","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-55750-7","volume-title":"Galois theory of linear differential equations","author":"van der Put M.","year":"2003","unstructured":"M. van der Put and M. F. Singer . Galois theory of linear differential equations , volume 328 of Grundlehren der Mathematischen Wissenschaften {Fundamental Principles of Mathematical Sciences} . Springer-Verlag , Berlin , 2003 . M. van der Put and M. F. Singer. Galois theory of linear differential equations, volume 328 of Grundlehren der Mathematischen Wissenschaften {Fundamental Principles of Mathematical Sciences}. Springer-Verlag, Berlin, 2003."}],"event":{"name":"ISSAC '16: International Symposium on Symbolic and Algebraic Computation","sponsor":["SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"],"location":"Waterloo ON Canada","acronym":"ISSAC '16"},"container-title":["Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2930889.2930932","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2930889.2930932","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:55:48Z","timestamp":1750222548000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2930889.2930932"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,7,20]]},"references-count":25,"alternative-id":["10.1145\/2930889.2930932","10.1145\/2930889"],"URL":"https:\/\/doi.org\/10.1145\/2930889.2930932","relation":{},"subject":[],"published":{"date-parts":[[2016,7,20]]},"assertion":[{"value":"2016-07-20","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}