Formal Solutions of Linear Differential Systems with Essential Singularities in their Coefficients
In: Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation ; ISSAC 2015 - International Symposium on Symbolic and Algebraic Computation ; https://hal.science/hal-01306235 ; ISSAC 2015 - International Symposium on Symbolic and Algebraic Computation, Jul 2015, Bath, United Kingdom. pp.45-52, ⟨10.1145/2755996.2756669⟩, 2015
Online
Konferenz
Zugriff:
International audience ; The local analysis of formal meromorphic linear differential systems with coefficients in C((z)) has been widely studied in the literature and there exist various computer algebra algorithms for computing formal solutions of such systems. In the present paper we extend the algorithm presented in [3] to allow more general systems. More precisely, we give an algorithm for computing a formal fundamental matrix of solutions around z=0 of systems with coefficients in C((z))[[X]], where X is transcendental and hyperexponential over C((z)).
Titel: |
Formal Solutions of Linear Differential Systems with Essential Singularities in their Coefficients
|
---|---|
Autor/in / Beteiligte Person: | Barkatou, Moulay A. ; Cluzeau, Thomas ; Jalouli, Achref ; Mathématiques & Sécurité de l'information (XLIM-MATHIS) ; (XLIM), XLIM ; Université de Limoges (UNILIM)-Centre National de la Recherche Scientifique (CNRS)-Université de Limoges (UNILIM)-Centre National de la Recherche Scientifique (CNRS) ; Université de Limoges (UNILIM) |
Link: | |
Zeitschrift: | Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation ; ISSAC 2015 - International Symposium on Symbolic and Algebraic Computation ; https://hal.science/hal-01306235 ; ISSAC 2015 - International Symposium on Symbolic and Algebraic Computation, Jul 2015, Bath, United Kingdom. pp.45-52, ⟨10.1145/2755996.2756669⟩, 2015 |
Veröffentlichung: | HAL CCSD, 2015 |
Medientyp: | Konferenz |
DOI: | 10.1145/2755996.2756669 |
Schlagwort: |
|
Sonstiges: |
|