UNIVERSITE DE LIMOGES ECOLE DOCTORALE Science Technologie Sante

Thomas Cluzeau

Description

Niveau: Supérieur, Doctorat, Bac+8
UNIVERSITE DE LIMOGES ECOLE DOCTORALE Science – Technologie – Sante FACULTE des sciences et techniques Laboratoire d'Arithmetique, de Calcul formel et d'Optimisation These pour obtenir le grade de DOCTEUR DE L'UNIVERSITE DE LIMOGES Discipline : Mathematiques Specialite : Calcul formel presentee et soutenue par Thomas CLUZEAU le 23 septembre 2004 Algorithmique modulaire des equations differentielles lineaires These dirigee par Moulay A. Barkatou et Jacques-Arthur Weil Jury President Jean-Pierre Ramis, Professeur a l'universite de Toulouse Rapporteurs Anne Duval, Professeur a l'universite de Lille Mark Giesbrecht, Professeur a l'universite de Waterloo (Canada) Examinateurs Manuel Bronstein, Directeur de recherche a l'INRIA Mark van Hoeij, Professeur a l'universite d'Etat de Floride (E.-U.) Bruno Salvy, Directeur de recherche a l'INRIA Directeurs Moulay A. Barkatou, Professeur a l'universite de Limoges Jacques-Arthur Weil, Maıtre de conferences a l'universite de Limoges

• universite de limoges


• algorithmique modulaire des equations differentielles


• docteur de l'universite


• femme susan pour l'accueil formidable


• directeur de la recherche

Sujets

• Calcul formel
• Vivant
• Bronstein
• Cluzeau
• Hubert
• Université de Limoges

Informations

• Publié par: profil-feym-2012
• Publié le: 01 septembre 2004
• Nombre de lectures: 249
• Poids de l'ouvrage: 1 Mo

Extrait

UNIVERSITE DE LIMOGES
ECOLE DOCTORALE Science { Technologie { Sante
FACULTE des sciences et techniques
Laboratoire d’Arithmetique, de Calcul formel et d’Optimisation
These
pour obtenir le grade de
DOCTEUR DE L’UNIVERSITE DE LIMOGES
Discipline : Mathematiques Specialite : Calcul formel
presentee et soutenue
par
Thomas CLUZEAU
le 23 septembre 2004
Algorithmique modulaire des equations
di erentielles lineaires
These dirigee par Moulay A. Barkatou et Jacques-Arthur Weil
Jury
President Jean-Pierre Ramis, Professeur a l’universite de Toulouse
Rapporteurs Anne Duval, Professeur a l’universite de Lille
Mark Giesbrecht, Professeur a l’universite de Waterloo (Canada)
Examinateurs Manuel Bronstein, Directeur de recherche a l’INRIA
Mark van Hoeij, Professeur a l’universite d’Etat de Floride (E.-U.)
Bruno Salvy, Directeur de recherche a l’INRIA
Directeurs Moulay A. Barkatou, Professeur a l’universite de Limoges
Jacques-Arthur Weil, Ma^ tre de conferences a l’universite de LimogesUNIVERSITE DE LIMOGES
ECOLE DOCTORALE Science { Technologie { Sante
FACULTE des sciences et techniques
Laboratoire d’Arithmetique, de Calcul formel et d’Optimisation
These
pour obtenir le grade de
DOCTEUR DE L’UNIVERSITE DE LIMOGES
Discipline : Mathematiques Specialite : Calcul formel
presentee et soutenue
par
Thomas CLUZEAU
le 23 septembre 2004
Algorithmique modulaire des equations
di erentielles lineaires
These dirigee par Moulay A. Barkatou et Jacques-Arthur Weil
Jury
President Jean-Pierre Ramis, Professeur a l’universite de Toulouse
Rapporteurs Anne Duval, Professeur a l’universite de Lille
Mark Giesbrecht, Professeur a l’universite de Waterloo (Canada)
Examinateurs Manuel Bronstein, Directeur de recherche a l’INRIA
Mark van Hoeij, Professeur a l’universite d’Etat de Floride (E.-U.)
Bruno Salvy, Directeur de recherche a l’INRIA
Directeurs Moulay A. Barkatou, Professeur a l’universite de Limoges
Jacques-Arthur Weil, Ma^ tre de conferences a l’universite de LimogesRemerciements
Cette these a ete preparee entre 2000 et 2004 au sein du Laboratoire d’Arithmetique,
Calcul formel et Optimisation (laco) de l’universite de Limoges et a ete nanc ee, de
2000 a 2003, par la region Limousin.
De nombreuses personnes ont participe, plus ou moins directement, a la reussite de
cette these : je vais essayer de vous les presenter en esperant n’oublier personne.
Pourquoi une these en calcul formel? En e ectuan t un retour quatre ans en arriere,
je m’aper cois que trois personnes ont contribue directement au fait que je me sois lance
dans une these en calcul formel : tout d’abord, au cours de ma ma^ trise a Limoges, j’ai
ete fascine par la maniere avec laquelle Jacques-Arthur Weil conduisait son cours de
calcul formel; malgre des horaires matinaux, il reussissait toujours a rendre le cours
vivant et ce gr^ ace a un enthousiasme hors du commun. Ensuite, durant mon dea, j’ai
eu la chance de suivre un cours de Jean-Claude Yakoubsohn. L a encore, j’ai senti que
plus que nous transmettre des connaissances, l’orateur nous faisait partager sa passion.
En n, Evelyne Hubert a dirige mon stage de dea et donc, en quelque sorte, guide mes
premiers pas dans la recherche. Ce stage a certainement servi de declic au depart de
cette aventure; elle y est donc pour beaucoup. Ces trois personnes sont a l’origine de
cette these et je leur en suis donc tres reconnaissant.
Jacques-Arthur Weil m’a propose un sujet de these ouvert et passionnant. Tout
au long de ce travail, ses encouragements, son enthousiasme debordant et sa curiosite
scienti que ont toujours reussi a stimuler ma motivation. Il a su diriger ce travail m^eme
lors des deux annees qu’il a passe a Nice et nos conversations, scienti ques ou non, ont
ete une aide precieuse pour moi. Qu’il accepte tous mes remerciements et ma reconnais-
sance.
Cette these etait dej a commencee depuis un an lorsque Moulay Barkatou est ar-
rive a Limoges. Cependant, gr^ ace a ses larges connaissances mathematiques, il a su
immediatement proposer des directions de recherche qui se sont averees fructueuses.
Sa rigueur scienti que m’a toujours aide a clari er les problemes. Elle a aussi permis
de canaliser les <delires utopiques> de Jacques-Arthur. Il n’a cesse de repondre, avec
entrain, a mes questions et ce, dans un climat des plus convivial. Qu’il trouve ici l’ex-
pression de ma gratitude.
Mark van Hoeij peut, en quelque sorte, ^etre considere comme mon troisieme direc-
teur de these. Il m’a accueilli deux mois chez lui a Tallahassee (en Floride) et a ainsi
pu me faire pro ter de toutes ses connaissances et me communiquer sa passion pour
la recherche. Il a co-signe avec moi deux articles qui constituent les chapitres deux et
trois de cette these. Sans lui, ce travail n’existerait pas et c’est donc un immense plaisir
pour moi qu’il participe a mon jury. Je pro te de l’occasion pour remercier aussi sa
femme Susan pour l’accueil formidable qu’elle m’a reserve lors de mes deux sejours a
iiiiv
Tallahassee.
Depuis mon stage de dea, j’ai eu la chance d’^etre invite plusieurs fois au projet
cafe de l’inria de Sophia Antipolis. Lors de ces sejours, Manuel Bronstein m’a reserve
un accueil chaleureux. De plus, il a toujours montre beaucoup d’inter^et pour mon tra-
vail et m’a, a de nombreuses reprises, donne des conseils tres pertinents. Je tiens a l’en
remercier et je suis tres honore qu’il ai accepte de participer a mon jury.
L’annee que j’ai passe au laboratoire stix de l’Ecole polytechnique m’a permis de
cotoyer Bruno Salvy. Lors des seances de travail que nous avons pu partager, il a tou-
jours repondu, avec entrain et dans un climat tres convivial, aux nombreuses questions
(parfois tres na v es) que j’ai pu lui poser. Je suis heureux qu’il ai bien voulu participer
a mon jury.
Je suis tres reconnaissant a Anne Duval et Mark Giesbrecht d’avoir accepte d’^etre
rapporteurs; je les remercie d’avoir lu, en details, cette these et d’avoir ainsi temoigne
de l’attention a mes travaux. Leurs remarques judicieuses ont permis d’ameliorer la
qualite de ce memoire.
C’est un immense honneur pour moi que Jean-Pierre Ramis ai accepte de prendre
part a mon jury et qu’il ai ainsi montre de l’inter^et a mon travail. Je lui en suis tres
reconnaissant.
Les articles de Marius van der Put ont servi de point de depart a mon travail. Au
cours de ma these, il m’a donne certaines directions de recherche tres pertinentes. Qu’il
en soit remercie.
L’environnement de travail est un ingredient indispensable a la reussite d’une these.
J’ai passe mes trois premieres annees dans le <bureau vert> en compagnie de Matthieu
Le o c’h et Mikael Lescop. Il y a toujours reigne une ambiance tres detendue, parfois
peut ^etre m^eme trop en certaines periodes ou la non-motivation de l’un des trois se
propageait chez les autres. M^eme si nous avions rarement le m^eme point de vue sur
les actualites du monde du football ou du tennis, nous nous retrouvions toujours sur la
m^eme longueur d’onde a l’approche de l’ete ou le bureau devenait le siege du fan-club
de Jan Ullrich. Je les remercie donc tous les deux pour avoir fait que cette these se
deroule dans les meilleures conditions et je leur souhaite bon courage pour l’avenir.
Je souhaite aussi bon courage au nouvel habitant du bureau Guilhem Castagnos, qui
rentre parfaitement dans l’esprit <bureau vert>.
J’ai cohabite pendant plus de trois ans avec les membres du laco. Je tiens a re-
mercier les anciens et actuels thesards (Ma <grande soeur de recherche> Delphine
Boucher, Cyril Brunie, Laurent Dubreuil, Meriem Heraoua, Nicolas Le Roux, Samuel
Ma re, Carmen Nedeloaia, Ayoub Otmani, Philippe Segalat et Cyril Vervoux) pour leur
soutien permanent, tous les membres de l’equipe calcul formel ainsi qu’Alexandre Ca-v
bot, Philippe Gaborit (pour ses conseils souvent pertinents), Henri Massias, Abdelkader
Necer et Stephane Vinatier. Je remercie tout particulierement Yolande Vieceli dont la
disponibilite et la bonne humeur contribuent pleinement a l’ambiance joyeuse qui regne
dans les couloirs du b^ atiment de mathematiques : que deviendrait le laco sans elle? Je
remercie en n Martine Guerletin, Sylvie Laval, Nadine Tchefrano et Patricia Vareille
pour leur sympathie et la maniere avec laquelle elles ont contribue a me faciliter les
t^aches administratives.
J’ai passe ma quatrieme annee de these au sein du laboratoire stix de l’Ecole po-
lytechnique. Je remercie Jean Moulin-Ollagnier qui a soutenu mes candidatures sur les
postes d’ater a l’universite de Paris xii ainsi que Marc Giusti qui m’a accueilli dans
son laboratoire et m’a ainsi fait bene cier de conditions de travail ideales. Je remercie
Xavier Dahan, Anne Fredet et Pierre Midy qui ont ete mes collegues de bureau pendant
toute cette annee. Mention speciale a ma <deuxieme grande soeur de recherche> Anne
Fredet avec qui travailler est toujours un plaisir et ce malgre nos divergences de point
de vue sur de nombreux sujets (en fait presque sur tout!). Une grande partie du qua-
trieme chapitre est un travail realise en collaboration avec elle et elle a donc fortement
contribue a la reussite de cette these. Je remercie aussi Alin Bostan pour s’^etre interesse
a mon travail depuis le debut et avec qui il est toujours tres agreable de travailler. Je
n’oublie pas tous les autres membres du lab