skip to main content
demonstration

ISOLDE: a maple package for systems of linear functional equations

Published:15 January 2013Publication History
Skip Abstract Section

Abstract

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.

References

  1. M. A. Barkatou, G. Broughton, and E. Pflügel. A monomial-by-monomial method for computing regular solutions of systems of pseudo-linear equations. Mathematics in Computer Science, 4(2-3):267--288, 2010.Google ScholarGoogle ScholarCross RefCross Ref
  2. M. A. Barkatou, G. Broughton, and E. Pflügel. A generic algorithm for computing formal solutions of systems of pseudo-linear equations. 2012. In preparation.Google ScholarGoogle Scholar
  3. M.A. Barkatou. An algorithm to compute the exponential part of a formal fundamental matrix solution of a linear differential system. Journal of App. Alg. in Eng. Comm. and Comp., 8(1):1--23, 1997.Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. M.A. Barkatou, G. Broughton, and E. Pflügel. Regular systems of linear functional equations and applications. In Proceedings of ISSAC '08, pages 15--22, New York, NY, USA, 2008. ACM. Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. M.A. Barkatou and E. Pflügel. On the equivalence problem of linear differential systems and its application for factoring completely reducible systems. In ISSAC '98, pages 268--275, Rostock, Germany, 1998. ACM. Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. M.A. Barkatou and E. Pflügel. An algorithm computing the regular formal solutions of a system of linear differential equations. J. Symb. Comput., 28:569--588, 1999. Google ScholarGoogle ScholarDigital LibraryDigital Library
  7. M.A. Barkatou and E. Pflügel. On the Moser- and super-reduction algorithms of systems of linear differential equations and their complexity. J. Symb. Comput., 44(8):1017--1036, 2009. Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. E. Pflügel. Effective formal reduction of linear differential systems. J. of Appl. Alg. in Eng. Comm. and Comp., 10(2):153--187, 2000.Google ScholarGoogle ScholarCross RefCross Ref

Index Terms

  1. ISOLDE: a maple package for systems of linear functional equations

      Recommendations

      Comments

      Login options

      Check if you have access through your login credentials or your institution to get full access on this article.

      Sign in

      Full Access

      • Published in

        cover image ACM Communications in Computer Algebra
        ACM Communications in Computer Algebra  Volume 46, Issue 3/4
        September/December 2012
        111 pages
        ISSN:1932-2240
        DOI:10.1145/2429135
        Issue’s Table of Contents

        Copyright © 2013 Authors

        Publisher

        Association for Computing Machinery

        New York, NY, United States

        Publication History

        • Published: 15 January 2013

        Check for updates

        Qualifiers

        • demonstration

      PDF Format

      View or Download as a PDF file.

      PDF

      eReader

      View online with eReader.

      eReader