pour obtenir le grade de

Stephane Delli

Description

Niveau: Supérieur, Doctorat, Bac+8
TH ESE pour obtenir le grade de DOCTEUR EN MATH EMATIQUES DE L'UNIVERSIT E DE LIMOGES Specialite : Mathematiques appliquees et Informatique Triangularisation de systemes constructibles Application a l'evaluation dynamique Soutenue publiquement le 27 Septembre 1999 par Stephane DELLI ERE Directrice de These : D. Duval Composition du Jury M. T. Lickteig President M. D. Lazard Rapporteur M. T. Recio Rapporteur M. F. Boulier Examinateur Mme. D. Duval Examinatrice Mlle. T. Gomez-Daz Examinatrice

• grenoble dans l'equipe de calcul formel du lmc


• normalisation polynomiale


• premières propriétés


• propriété


• clôture constructible dynamique


• propriétés des idéaux ker


• recio rapporteur

Sujets

• Algèbre
• Propriété

Informations

• Publié par: profil-zyak-2012
• Publié le: 01 septembre 1999
• Nombre de lectures: 29
• Langue: Français
• Poids de l'ouvrage: 1 Mo

Extrait

MA
EMA
DE
e:
Math
et
syst
tl
e2
St
Jury
M.
T.
M.
M.
T.
M.
T.
az
E
DE
omez-D
Sp
ese
Lazard
ephane

Lic
ecialit
1999

Directrice
TIQUES
al

esiden

D.
ematiques
obtenir
appliqu


Mme.

D.
u
osition

p
Informatique
Pr
T

riangularisation
Boulier
de
bre
L'UNIVERSIT
par


Mlle.
DELLI
constructibles
ERE
Application
de


a
:
l'
Duv
DOCTEUR
Comp
de
d
F.
our
dynamique
ESE
Souten
kteig
Examinatrice

publiquemen
t
grade
D.
le
Examinateur
7

ev
Recio
TH
aluation
Examinatrice
Septem
G
al
Duv
orteur
Rapp
orteur
Rapp
Th
ue
emes
ees
LIMOGES
TH
EN
ts
po
Ses
conseils
le
T.
m'on
ts
az
de
po
le
accueil
aT
Lic
de
b^
eu
un
d'uvrer
Mme
h,
tous
ts-c
herc
er
gen
de
ormel
pe
t

eremen
t
et
esquelles
D.

A
a
a
mon
e
a
t
v
r
ail.


a
emoign
T.

t
t
e
toujours
a
pr



ecieux,
ev
tan
de
t
qui
sur
l'accueil


fond
v
que
le
Dicrescenzo
.
la
(qui
forme.
a
Je
et
remercie
ce
sinc
Nadine

particuliers
eremen

t
d'enseignemen
D.
c
Lazard
notammen
et
t
t
Moulin.
a
me
eguli
Je
a
et
t
premier
notammen
our
l'honneur
egalemen
d'accepter
kteig
la
accept
t^
^
ac

he
ce
e
Y
^

etre
guid
rapp
premiers
orteurs
ec
e
gen
t
G
p
d
our
atimen
t
artine
outes
resten
leurs

remarques
passage
constructiv
Je
s
remercier
n
e
o
parmi
n
d'ab
t
d'
a
reserv
ccompagn
tout

plaisir
es
la
ce
M.C.

tiens
deux
J.
heurs
v
v
remerciemen
ail.
a
Je
e
remerciemen
sensible
qu'elle
enseignemen
v
a
on
Merci
t
qu'

tillesse
egalemen
cours
t


t
a
a
du
d'a
Boulier,
oir
T.

ee
d'
omez-D
etre

pr
tion
equip
qui
de
on

t
A
F
olande
v
Dani
oulu
l'
faire
a
partie

Calcul
ans
mon
d
jury
v
.
tan
Je

prote
tillesse
l'atten
renoble
cette
v
o
lance
ccasion
ans
r
ord
u
t).
r
M
remercier
et
u
qui
premier
t
p
t
our
emoins
son
de
al
p
c
lors
haleureux
tiens

a
a
e
L
equip
ille
s
dans
t
l
l
'


la
equip
hance
e

de
oluer.
calcul
fut
formel
t
du
r
LIFL
eel
(sans
que
oublier
sous
G
direction
.
on
Jacob
Chatard-
et
Je
M.

P
saluer
e
Alexander,
tot).
Darwic
Merci
ts
aussi
enseignan

G.
Duv

eresa
l'univ
p

o
d'Angers.
ur
fus
D.

sur
leur
je
t
la

cesse
leur
a
tillesse.
depuis.
au
rends
ainsi
aussi
a
e
Sc

p
e.
leurs
Je
d'alg
remercie
ses
nom
lesquels
breux
n'ai
messages
de
d'encouragemen
de
Remerciemen
ts
et
Je
sa
hommage
d

esiden
Villard.
et
C.
LMC.
mon
fut
de
m'appuy
eu
ebre
haub
gen
ersit
A.
Ce
j'ai
les
ici.
assage
mon
des
eil-
bien
de
pas
mes
ele
jury
onibilit
disp
eti-
de
bien
G
F.
Mes
traqui
es
d'
fait
qui
Recio
sur
furen
tra
Mes1.1
no
des
1.2
no
des
1.3
tre
les
1.4
2.1
Re
2.2
2.3
2.4
deux
2.5
3.1
ke
.
.
.
.
72
.
.
.
de
.
.
.
.
.
75
.
.
.
.
.
.
.
tales
.
i
.
.
.
.
.
.
.
.
.
.
.
3.1.1
.
description
.
.
.
.
.
.
.
68
.
.
14
.
1.1.1
.
Premi?res
.
propri?t?s
.
.
88
.
.
.
au
.
.
.
.
.
de
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
68
.
.
.
.
.
.
.
des
.
.
.
.
.
r?gularit?
.
.
.
.
.
.
16
L
1.1.2
.
.
.
deuxi?me
.
description
.
des
au
anneaux
.
K
.
i
Du
.
.
.
.
.
93
.
.
.
.
olynomiale
.
carr?
.
.
.
.
.
.
.
p
.
.
.
.
.
24
99
1.1.3
i
Caract?risation
.
des
.
11
.
y
.
aux
.
Notations
.
homomorphismes
.

.
i
Notions
.
.
.
.
.
.
.
.
.
.
.
.
.
Propri?t?s
31
13
5
R
Normalisation
.
c
.
onstructible
.
.
Propri?t?
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Propri?t?
.
.
.
.
.
.
.
.
.
.
.
.
.
79
.
.
.
.
.
Du
.
o
.
.
.
.
.
.
.
.
37
88
1.2.1
o
Premi?res
.
propri?t?s
.
.
.
.
.
.
.
.
Conclusion
.
.
.
.
.
.
.
.
.
.
.
.
.
carr?
.
.
.
olynomiale
.
.
.
.
.
.
.
.
.
.
.
des
.

.
.
.
.
.
.
.
.
38
.
1.2.2
.
.
es
deuxi?me
.
description
.
des
.
anneaux
.
L
.
i
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
2.1.1
43
fondamen
1.2.3
.
Caract?risation
.
des
.
duction
.
y
.
aux
.
tro
.
homomorphismes
.

.
i
.
.
.
.
.
.
2.1.2
.
alg?briques
.
id?aux
.
p
.
(
47
)
.
.
Liens
.
en
.
mati?res
.
des
.
deux
.
.
normalisation
.
.
normalisation
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
de
.
.
50
-normalisation
1.3.1
.
Du
.
constructible
.
au
.
p
.
o
.
lynomial...
.
.
.
.
.
Normalisation
.
Comparaison
.
d
.
1
.
.
g?om?trique
.
es
.
notions
.
normalisation
.
.
.
.
.
.
.
2.4.1
.
constructible
.
p
.
lynomial
.
.
.
.
.
.
50
.
1.3.2
.
Du
.
p
.
o
.
lynomial
.
au
2.4.2
constructible...
p
.
lynomial
.
constructible
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Propri?t?
.
.
.
.
.
.
.
.
.
.
.
54
.
102
.
.
.
.
.
.
.
.
.
.
.
3
.
Conclusion
.
.
.
.
.
.
.
.
95
.
Propri?t?
.
sans
.
97
.
Propri?t?
.
sans
.