Isolde
ISOLDE, a Maple package for systems of linear functional equations. 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.
Keywords for this software
References in zbMATH (referenced in 29 articles , 1 standard article )
Showing results 1 to 20 of 29.
Sorted by year (- Dreyfus, Thomas; Weil, Jacques-Arthur: Computing the Lie algebra of the differential Galois group: the reducible case (2022)
- Barkatou, Moulay A.; Gontsov, Renat R.: Linear differential systems with small coefficients: various types of solvability and their verification (2019)
- Barkatou, Moulay A.; Maddah, Suzy S.: Formal solutions of singularly-perturbed linear differential systems (2019)
- Barkatou, Moulay A.; Jaroschek, Maximilian; Maddah, Suzy S.: Formal solutions of completely integrable Pfaffian systems with normal crossings (2017)
- Barkatou, Moulay; Cluzeau, Thomas; Weil, Jacques-Arthur; Di Vizio, Lucia: Computing the Lie algebra of the differential Galois group of a linear differential system (2016)
- Maddah, Suzy S.; Barkatou, Moulay A.; Abbas, Hassan: Formal solutions of a class of Pfaffian systems in two variables (2014)
- Maddah, Suzy S.; Barkatou, Moulay A.; Abbas, Hassan: On the reduction of singularly-perturbed linear differential systems (2014)
- Barkatou, Moulay A.; Pflügel, Eckhard; Stan, Flavia: ISOLDE: a Maple package for systems of linear functional equations (2012) ioport
- Abramov, S. A.; Barkatou, M. A.; Pflügel, E.: Higher-order linear differential systems with truncated coefficients (2011)
- Barkatou, Moulay A.; Cluzeau, Thomas; El Bacha, Carole: Simple forms of higher-order linear differential systems and their applications in computing regular solutions (2011)
- Barkatou, Moulay A.; Broughton, Gary; Pflügel, Eckhard: A monomial-by-monomial method for computing regular solutions of systems of pseudo-linear equations (2010)
- Barkatou, Moulay A.; El Bacha, Carole; Pflügel, Eckhard: Simultaneously row- and column-reduced higher-order linear differential systems (2010)
- Kuby, Michael J. (ed.); Church, Richard (ed.): Special issue: Location modeling. Selected papers based on the presentations at the 11th international symposium on locational decisions (ISOLDE XI), Santa Barbara, CA, USA, June 26 -- July 1, 2008 (2010)
- Barkatou, Moulay A.; Pflügel, Eckhard: On the Moser- and super-reduction algorithms of systems of linear differential equations and their complexity (2009)
- Berman, Oded; Drezner, Zvi; Tamir, Arie; Wesolowsky, George O.: Optimal location with equitable loads (2009) ioport
- Berman, Oded; Drezner, Zvi; Tamir, Arie; Wesolowsky, George O.: Optimal location with equitable loads (2009)
- Hliněný, Petr; Whittle, Geoff: Addendum to matroid tree-width (2009)
- Jourani, A.; Michelot, C.; Ndiaye, M.: Efficiency for continuous facility location problems with attraction and repulsion (2009)
- Pelegrín, Blas; Redondo, Juani L.; Fernández, Pascual; García, Inmaculada; Ortigosa, Pilar M.: GASUB: finding global optima to discrete location problems by a genetic-like algorithm (2007)
- Winkler, Peter: Mathematical mind-benders (2007)