6 ressources ont été trouvées.
Voici les résultats 1 à 6
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.

Méthodes algébriques pour la résolution d'équations différentielles matricielles d'ordre arbitraire

Méthodes algébriques pour la résolution d'équations différentielles matricielles d'ordre arbitraire Droits d'accès : non autorisé
année de soutenance : 2011
auteur : El Bacha Carole
laboratoire : XLIM
thème : Mathématiques
Description : Dans cette thèse, nous développons de nouvelles méthodes algébriques pour la résolution d'une classe importante de systèmes d'équations différentielles linéaires d'ordre arbitraire. De tels systèmes apparaissent dans de nombreuses disciplines scientifiques comme la chimie, la physique, la mécanique ...
Accéder au document

Calcul effectif de la topologie de courbes et surfaces algébriques réelles

Calcul effectif de la topologie de courbes et surfaces algébriques réelles Droits d'accès : non autorisé
année de soutenance : 2009
auteur : Diatta Daouda Nang
laboratoire : XLIM
thème : Mathématiques
Description : Ce travail de thèse relève du registre de l'algorithmique de courbes et surfaces algébriques réelles. Dans le domaine de la représentation de formes nous avons développé trois algorithmes. Le premier est un algorithme symbolique-numérique certifié, fortement basé sur les propriétés des sous-résultan ...
Accéder au document

Calcul de développements de Puiseux et application au calcul du groupe de monodromie d'une courbe algébrique plane

Calcul de développements de Puiseux et application au calcul du groupe de monodromie d'une courbe algébrique plane Droits d'accès : non autorisé
année de soutenance : 2008
auteur : Poteaux Adrien
laboratoire : XLIM
thème : Mathématiques, Technologie (Sciences appliquées)
Description : Dans cette thèse, nous présentons un nouvel algorithme symbolique-numérique pour calculer une approximation numérique des développements de Puiseux au-dessus des points critiques, que nous utilisons pour calculer le groupe de monodromie d'une courbe algébrique plane. Essentiellement, l'algorithme de ...
Accéder au document

Algorithms for locally nilpotent derivations in dimension two and three

Algorithms for locally nilpotent derivations in dimension two and three Droits d'accès : non autorisé
année de soutenance : 2007
auteur : EL Houari Hassan
laboratoire : XLIM
thème : Mathématiques, Technologie (Sciences appliquées)
Description : Les dérivations localement nilpotentes sur les anneaux des polynômes sont des objets de grande importance dans beaucoup de domaines de mathématiques. Durant la dernière décennie, elles ont connu un véritable progrès et sont devenues un élément essentiel pour la compréhension de la géométrie algébriq ...
Accéder au document

Solutions formelles d'équations aux dérivées partielles

Solutions formelles d'équations aux dérivées partielles Droits d'accès : non autorisé
année de soutenance : 2006
auteur : Le Roux Nicolas
laboratoire : XLIM
thème : Mathématiques, Technologie (Sciences appliquées)
Description : Dans ce travail, nous construisons des algorithmes de calcul de solutions formelles de systèmes d'équations aux dérivées partielles (EDP). La thèse se divise en deux parties. Dans une première partie, nous proposons une nouvelle méthode du type Newton pour le calcul en un point régulier des séries f ...
Accéder au document

Algorithmique modulaire des équations différentielles linéaires

Algorithmique modulaire des équations différentielles linéaires Droits d'accès : non autorisé
année de soutenance : 2004
auteur : Cluzeau Thomas
laboratoire : Laboratoire d'Arithmétique, de Calcul formel et d'Optimisation
thème : Mathématiques, Technologie (Sciences appliquées)
Description : Les méthodes modulaires conduisent à des algorithmes très efficaces dans de nombreux domaines en calcul formel et notamment dans celui des équations algébriques. Le but de cette thèse est de montrer comment ces techniques modulaires s'adaptent au cas différentiel et permettent de développer de nouve ...
Accéder au document