Attributes | Values |
---|
type
| |
Thesis advisor
| |
Author
| |
alternative label
| - A Work on formal linear algebra normal forms of matrices and applications
|
dc:subject
| - Matrices
- Thèses et écrits académiques
- Calcul formel
- Corps algébriques
- Formes normales (mathématiques)
- Axiomes
- Fonctions exponentielles
|
preferred label
| - Contribution à l'algèbre linéaire formelle, formes normales de matrices et applications
|
Language
| |
Subject
| |
dc:title
| - Contribution à l'algèbre linéaire formelle, formes normales de matrices et applications
|
Degree granting institution
| |
note
| - Cette thèse se rattache à l'algèbre linéaire formelle. Elle est composée de deux parties: la première, consacrée à l'étude des formes normales de matrices, constitue un ensemble d'outils utilisés dans la seconde qui, pour sa part, présente des méthodes matricielles de résolution de deux types de systèmes différentiels: les systèmes différentiels à coefficients constants et les systèmes différentiels ayant un point singulier régulier isolé. Dans la première partie, nous avons étudié, implémentés dans le système de calcul formel AXIOM, et comparés tant de manière théorique qu'expérimentale des algorithmes de calcul de diverses formes normales (Frobenius, Smith, Jordan) de matrices à coefficients rationnels. Dans la seconde, nous avons montré quels sont les avantages et les inconvénients de l'utilisation de ces algorithmes pour trois applications: le calcul de l'exponentielle d'une matrice, la résolution d'équations matricielles et la résolution matricielle de systèmes différentiels ayant une singularité régulière isolée. En particulier, nous avons abordé le problème épineux de la manipulation des nombres algébriques apparaissant nécessairement lorsque l'on calcule formellement, la forme de Jordan d'une matrice à coefficients rationnels
|
dc:type
| |
http://iflastandar...bd/elements/P1001
| |
rdaw:P10219
| |
has content type
| |
is primary topic
of | |
is rdam:P30135
of | |