Solutions formelles d'équations différentielles‎ : le logiciel de calcul formel DESIR‎ : étude théorique et réalisation

• Main Author: Tournier, Evelyne
• Language: FRE
• Published: 1987
• Subjects: [INFO:INFO_MO] Computer Science/Modeling and Simulation; calcul formel; logiciel DESIR; DESIR; équations différentielles; solutions formelles; points singuliers réguliers et irréguliers; équations aux différences
• Online Access: http://tel.archives-ouvertes.fr/tel-00323706; http://tel.archives-ouvertes.fr/docs/00/32/37/06/PDF/Tournier.Evelyne_1987_these.pdf

Le sujet de la thèse se rattache au calcul formel. La première partie est consacrée à l'étude et à la réalisation d'un logiciel de résolution d'équations différentielles. Ce logiciel DESIR est écrit pour le système de calcul formel REDUCE. Il permet d'obtenir les solutions formelles d'équations différentielles, d'un ordre quelconque, au voisinage de points réguliers et irréguliers. La deuxième partie est une étude approfondie des équations aux différences. Cette étude est orientée vers la recherche d'algorithme permettant de construire une base de solutions asymptotiques d'une équation aux différences linéaires à coefficients dans un corps de séries formelles