{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,18]],"date-time":"2026-03-18T06:26:01Z","timestamp":1773815161079,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642235672","type":"print"},{"value":"9783642235689","type":"electronic"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-23568-9_2","type":"book-chapter","created":{"date-parts":[[2011,8,31]],"date-time":"2011-08-31T00:37:54Z","timestamp":1314751074000},"page":"10-24","source":"Crossref","is-referenced-by-count":16,"title":["Higher-Order Linear Differential Systems with Truncated Coefficients"],"prefix":"10.1007","author":[{"given":"S. A.","family":"Abramov","sequence":"first","affiliation":[]},{"given":"M. A.","family":"Barkatou","sequence":"additional","affiliation":[]},{"given":"E.","family":"Pfl\u00fcgel","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"2_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11555964_1","volume-title":"Computer Algebra in Scientific Computing","author":"S. Abramov","year":"2005","unstructured":"Abramov, S., Bronstein, M., Khmelnov, D.: On regular and logarithmic solutions of ordinary linear differential systems. In: Ganzha, V.G., Mayr, E.W., Vorozhtsov, E.V. (eds.) CASC 2005. LNCS, vol.\u00a03718, pp. 1\u201312. Springer, Heidelberg (2005)"},{"key":"2_CR2","first-page":"297","volume-title":"ISSAC 1995 Proceedings","author":"M.A. Barkatou","year":"1995","unstructured":"Barkatou, M.A.: A rational version of Moser\u2019s Algorithm. In: ISSAC 1995 Proceedings, pp. 297\u2013302. ACM Press, New York (1995)"},{"key":"2_CR3","doi-asserted-by":"publisher","first-page":"547","DOI":"10.1006\/jsco.1999.0314","volume":"28","author":"M.A. Barkatou","year":"1999","unstructured":"Barkatou, M.A.: On rational solutions of systems of linear differential equations. J. Symbolic Computation\u00a028, 547\u2013567 (1999)","journal-title":"J. Symbolic Computation"},{"key":"2_CR4","first-page":"7","volume-title":"ISSAC 2009 Proceedings","author":"M.A. Barkatou","year":"2009","unstructured":"Barkatou, M.A., Cluzeau, T., El Bacha, C.: Algorithms for regular solutions of higher-order linear differential systems. In: Johnson, J.R., Park, H., Kaltofen, E. (eds.) ISSAC 2009 Proceedings, pp. 7\u201314. ACM Press, New York (2009)"},{"key":"2_CR5","doi-asserted-by":"publisher","first-page":"633","DOI":"10.1016\/j.jsc.2011.01.001","volume":"46","author":"M.A. Barkatou","year":"2011","unstructured":"Barkatou, M.A., Cluzeau, T., El Bacha, C.: Simple forms of higher-order linear differential systems and their applications to computing regular solutions. J. Symbolic Computation\u00a046, 633\u2013658 (2011)","journal-title":"J. Symbolic Computation"},{"key":"2_CR6","first-page":"45","volume-title":"ISSAC 2010 Proceedings","author":"M.A. Barkatou","year":"2010","unstructured":"Barkatou, M.A., El Bacha, C., Pfl\u00fcgel, E.: Simultaneously row- and column-reduced higher-order linear differential systems. In: Koepf, W. (ed.) ISSAC 2010 Proceedings, pp. 45\u201352. ACM Press, New York (2010)"},{"key":"2_CR7","doi-asserted-by":"publisher","first-page":"569","DOI":"10.1006\/jsco.1999.0315","volume":"28","author":"M.A. Barkatou","year":"1999","unstructured":"Barkatou, M.A., Pfl\u00fcgel, E.: An algorithm computing the regular formal solutions of a system of linear differential equations. J. Symbolic Computation\u00a028, 569\u2013588 (1999)","journal-title":"J. Symbolic Computation"},{"key":"2_CR8","first-page":"268","volume-title":"ISSAC 1998 Proceedings","author":"M.A. Barkatou","year":"1998","unstructured":"Barkatou, M.A., Pfl\u00fcgel, E.: On the equivalence problem of linear differential systems and its application for factoring completely reducible systems. In: Gloor, O. (ed.) ISSAC 1998 Proceedings, pp. 268\u2013275. ACM Press, New York (1998)"},{"key":"2_CR9","first-page":"1","volume-title":"ISSAC 2007 Proceedings","author":"M.A. Barkatou","year":"2007","unstructured":"Barkatou, M.A., Pfl\u00fcgel, E.: Computing super-irreducible forms of systems of linear differential equations via Moser-reduction: A new approach. In: Dongming, W. (ed.) ISSAC 2007 Proceedings, pp. 1\u20138. ACM Press, New York (2007)"},{"key":"2_CR10","doi-asserted-by":"publisher","first-page":"1017","DOI":"10.1016\/j.jsc.2009.01.002","volume":"44","author":"M.A. Barkatou","year":"2009","unstructured":"Barkatou, M.A., Pfl\u00fcgel, E.: On the Moser- and super-reduction algorithms of systems of linear differential equations and their complexity. J. Symbolic Computation\u00a044, 1017\u20131036 (2009)","journal-title":"J. Symbolic Computation"},{"key":"2_CR11","unstructured":"Barkatou, M.A., Pfl\u00fcgel, E.: The ISOLDE package. A SourceForge Open Source project (2006), http:\/\/isolde.sourceforge.net"},{"key":"2_CR12","volume-title":"Theory of Ordinary Differential Equations","author":"E. Coddington","year":"1955","unstructured":"Coddington, E., Levinson, N.: Theory of Ordinary Differential Equations. McGraw-Hill, New York (1955)"},{"key":"2_CR13","doi-asserted-by":"publisher","first-page":"429","DOI":"10.1007\/BF01396663","volume":"50","author":"A. Hilali","year":"1987","unstructured":"Hilali, A., Wazner, A.: Formes super\u2013irr\u00e9ductibles des syst\u00e8mes diff\u00e9rentiels lin\u00e9aires. Numer. Math.\u00a050, 429\u2013449 (1987)","journal-title":"Numer. Math."},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"Lutz, D.A., Sch\u00e4fke, R.: On the identification and stability of formal invariants for singular differential equations. Linear Algebra and Its Applications\u00a072, 1\u201346 (1985)","DOI":"10.1016\/0024-3795(85)90140-5"},{"key":"2_CR15","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1007\/s002000050002","volume":"10","author":"E. Pfl\u00fcgel","year":"2000","unstructured":"Pfl\u00fcgel, E.: Effective formal reduction of linear differential systems. Applicable Algebra in Engineering, Communication and Computation\u00a010, 153\u2013187 (2000)","journal-title":"Applicable Algebra in Engineering, Communication and Computation"},{"key":"2_CR16","first-page":"230","volume":"42","author":"A. Turing","year":"1936","unstructured":"Turing, A.: On computable numbers, with an application to the Entscheidungsproblem. Proceedings of the London Mathematical Society, Series 2\u00a042, 230\u2013265 (1936)","journal-title":"Proceedings of the London Mathematical Society, Series 2"},{"key":"2_CR17","unstructured":"Maple online help: http:\/\/www.maplesoft.com\/support\/help\/"}],"container-title":["Lecture Notes in Computer Science","Computer Algebra in Scientific Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-23568-9_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,14]],"date-time":"2019-06-14T16:29:58Z","timestamp":1560529798000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-23568-9_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642235672","9783642235689"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-23568-9_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011]]}}}