{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:22:11Z","timestamp":1750306931553,"version":"3.41.0"},"reference-count":8,"publisher":"Association for Computing Machinery (ACM)","issue":"3\/4","license":[{"start":{"date-parts":[[2013,1,15]],"date-time":"2013-01-15T00:00:00Z","timestamp":1358208000000},"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":["ACM Commun. Comput. Algebra"],"published-print":{"date-parts":[[2013,1,15]]},"abstract":"<jats:p>The Maple ISOLDE package contains algorithms for symbolically solving various classes of linear functional systems. In this demonstration, we focus on the local analysis of systems of linear differential and difference equations. We illustrate the use of our formal reduction algorithm and sketch the link with the computation of a formal fundamental matrix solution at a regular or irregular singularity.<\/jats:p>","DOI":"10.1145\/2429135.2429170","type":"journal-article","created":{"date-parts":[[2013,1,22]],"date-time":"2013-01-22T15:28:56Z","timestamp":1358868536000},"page":"157-159","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["ISOLDE"],"prefix":"10.1145","volume":"46","author":[{"given":"Moulay A.","family":"Barkatou","sequence":"first","affiliation":[{"name":"Institut XLIM, Universit\u00e9 de Limoges, Limoges, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eckhard","family":"Pfl\u00fcgel","sequence":"additional","affiliation":[{"name":"Faculty of SEC, Kingston University, Surrey, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Flavia","family":"Stan","sequence":"additional","affiliation":[{"name":"INRIA Paris-Roquencourt, Domaine de Voluceau, Le Chesnay, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2013,1,15]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11786-010-0056-z"},{"key":"e_1_2_1_2_1","volume-title":"A generic algorithm for computing formal solutions of systems of pseudo-linear equations","author":"Barkatou M. A.","year":"2012","unstructured":"M. A. Barkatou , G. Broughton , and E. Pfl\u00fcgel . A generic algorithm for computing formal solutions of systems of pseudo-linear equations . 2012 . In preparation. M. A. Barkatou, G. Broughton, and E. Pfl\u00fcgel. A generic algorithm for computing formal solutions of systems of pseudo-linear equations. 2012. In preparation."},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/s002000050048"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1390768.1390774"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/281508.281633"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1999.0315"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2009.01.002"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/s002000050002"}],"container-title":["ACM Communications in Computer Algebra"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2429135.2429170","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2429135.2429170","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:35:36Z","timestamp":1750235736000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2429135.2429170"}},"subtitle":["a maple package for systems of linear functional equations"],"short-title":[],"issued":{"date-parts":[[2013,1,15]]},"references-count":8,"journal-issue":{"issue":"3\/4","published-print":{"date-parts":[[2013,1,15]]}},"alternative-id":["10.1145\/2429135.2429170"],"URL":"https:\/\/doi.org\/10.1145\/2429135.2429170","relation":{},"ISSN":["1932-2240"],"issn-type":[{"type":"print","value":"1932-2240"}],"subject":[],"published":{"date-parts":[[2013,1,15]]},"assertion":[{"value":"2013-01-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}