4 ressources ont été trouvées.
Voici les résultats 1 à 4
Affichage de
résultats par page
Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.

Algorithmes symboliques pour l'étude et la résolution de systèmes d'équations fonctionnelles linéaires

Algorithmes symboliques pour l'étude et la résolution de systèmes d'équations fonctionnelles linéaires Droits d'accès : non autorisé
année de soutenance : 2021
auteur : El Hajj Ali
laboratoire : XLIM
thème : Mathématiques
Description : Cette thèse porte sur le développement d’algorithmes symboliques en calcul formel. Nous étudions des systèmes d’équations pseudo-linéaires : une grande classe de systèmes fonctionnels linéaires comprenant les systèmes différentiels, différences et q-différences. La thèse se compose de trois grandes ...

Méthodes symboliques pour les systèmes différentiels linéaires à singularité irrégulière

Méthodes symboliques pour les systèmes différentiels linéaires à singularité irrégulière Droits d'accès : non autorisé
année de soutenance : 2019
auteur : Saadé Joelle
laboratoire : XLIM
thème : Mathématiques
Description : Cette thèse est consacrée aux méthodes symboliques de résolution locale des systèmes différentiels linéaires à coefficients dans K = C((x)), le corps des séries de Laurent, sur un corps effectif C. Plus précisément, nous nous intéressons aux algorithmes effectifs de réduction formelle. Au cours de l ...

Formal reduction of differential systems : Singularly-perturbed linear differential systems and completely integrable Pfaffian systems with normal crossings

Formal reduction of differential systems : Singularly-perturbed linear differential systems and completely integrable Pfaffian systems with normal crossings Droits d'accès : non autorisé
année de soutenance : 2015
auteur : Maddah Sumayya Suzy
laboratoire : XLIM
thème : Mathématiques
Description : Dans cette thèse, nous nous sommes intéressés à l'analyse locale de systèmes différentiels linéaires singulièrement perturbés et de systèmes de Pfaff complètement intégrables et multivariés à croisements normaux. De tels systèmes ont une vaste littérature et se retrouvent dans de nombreuses applicat ...

Computation of invariant pairs and matrix solvents

Computation of invariant pairs and matrix solvents Droits d'accès : non autorisé
année de soutenance : 2015
auteur : Segura ugalde Esteban
laboratoire : XLIM
thème : Mathématiques
Description : Cette thèse porte sur certains aspects symboliques-numériques du problème des paires invariantes pour les polynômes de matrices. Les paires invariantes généralisent la définition de valeur propre / vecteur propre et correspondent à la notion de sous-espaces invariants pour le cas nonlinéaire. Elles ...