1Numero d'ordre Universite de Limoges

De
Publié par

Niveau: Supérieur, Doctorat, Bac+8
1Numero d'ordre : Universite de Limoges TH ESE pour obtenir le grade de DOCTEUR DE L'UNIVERSIT E DE LIMOGES Discipline : Mathematiques et applications presentee et soutenue publiquement par Aude MAIGNAN le 20 Janvier 2000 Resolution reelle d'equations et de systemes d'equations algebro-elementaires Directrice de These : Dominique DUVAL Co-directrice de These : Anne BELLIDO JURY : Mlle A. Bellido Ma^tre de Conferences,Universite de Limoges Examinatrice M. J.-P. Dedieu Professeur, Universite P. Sabatier, Toulouse Examinateur Mme D. Duval Professeur, Universite de Limoges Examinatrice M. D. Michelucci Ingenieur de recherche, habilite a diriger des Examinateur recherches, Ecole Nationale Superieure des Mines, Saint Etienne M. D. Richardson Professeur, Universite de Bath Rapporteur M. J.-J. Risler Professeur, Universite Paris VI Examinateur M. J.-C. Yakoubsohn Professeur, Universite P. Sabatier, Toulouse Rapporteur

  • methode de thom-richardson

  • dedieu professeur

  • resolution reelle d'equations et de systemes

  • universite de limoges examinatrice

  • bornes explicites


Publié le : samedi 1 janvier 2000
Lecture(s) : 74
Tags :
Source : unilim.fr
Nombre de pages : 143
Voir plus Voir moins


imoges
ESE
tp
ese
eP
e
rec
eP
eP
e
d
e
L
e

he,

ersit
TH
e


ersit

p
M.
our
Mme
obtenir
Mic
le
Examinateur
grade
M.
d
Risler
e
abatier,
DOCTEUR
e
D
edieu
E
abatier,
L'UNIVERSIT
Professeur,

imoges
E
enieur
D
a
E
Ecole
LIMOGES
Sain
Discipli
Professeur,
ne
Rapp
:

M
d
ath


e
ematiques
imoges
e
.
t
Univ
applications
.
pr
oulouse

Duv
esen
ersit
t
e

M.
ee
.
et
rec
souten

ue
iriger
publiqu
herc
Rapp
ationale
Univ
des
a
E
r
Ric
Aude
ersit
MAIGNAN
e
le
M.
20
Univ
Jan
Univ
vier
tre
2
e
000
onf
R
erences,Univ


esolution
d
r
L

Examinatrice
eelle
J.-P
d'
D

Professeur,
equations
ersit
et
ero
de
S
syst
T

Examinateur
emes
D.
d'
S

Univ
equations

alg
d

L
ebroExaminatrice

D.
el
helucci


emen
de
taires
herc
Directrice
habilit
de

Th
d

des
:
Num
:
hes,
Dominique
N
DUV
Sup
AL
erieure
Co-directrice
Mines,
de
t
Th
tienne

D.
oulouse
hardson
:
Univ
Anne

BELLIDO
d
d'ordre
Bath
aris
orteur
I
J.-J.
M.
Professeur,
Y
ersit
oubsohn
JUR
Y
V
:
Examinateur
Mlle
J.-C.
A.
ak
Bellido
Professeur,
T
ersit
1
^
C
orteur
Ing
al
Ma
ese
emen2
ee
ab
nc
et
al
ak
tt
ui
tl
ap
e
en
ts.
e
remercier
viv
eme
a
et
qui
n

t
Que
celles
de
et

ceux
hes
qui
o
m

'on
es
t
hardson
guid
ak

t
d
con
t
ropres
souten
oublier
u
rien
p
et
our
fructueux
m
uren
e
p
p
ail.
ermettre
de
de
v
mener
on

ce
ord
e
i
p
e
d
d'ab
certains
tout
Enn
r
du
a
ts,
v
sans
ail

p
soit
e
t
ndan
d
t
ec
ces
e
trois
r
a
ortan
nn
la

tra
ees.
Mr
Je
rapp
v

eux
Qu'il
citer
m
en
-
premier
Remerciemen
M
en
me
est
Duv
emoignage
al,
'in
resp
^
onsable
ur
du

lab
rec
oratoire
t
de
ses
Math
v

Mic
ematiques
mem

de
rmis
p
a
a
facult
mes

soutien
e

des
p
sciences
re
de
^
Limoges
donnan
qui
sen
m'a
a
accept
e


reconnaissan
hanges
lus
m
p
f
bre
me
des

c
imp
herc
ts
heurs
our
de
progression
son
ce
group
v
e.
Et
Puis
Ric
Mlle
Bellido
orteur
p
th
o
ese
ur
ujourd'h
ses
a
p
es
r
Y

oubsohn
ecieux
d
conseils
ts
et
r
son
esence
a
france
ppui
jour
quotidien
le
depuis

l
d
e
l
d
t

er
les
et
ts
o
timen
ma
th
tribution

a
ese.
es
Ainsi
herc
q
s'initian
ue
dans
Mrs
de
Y
p
e
tra

aux.
qui
Mrs
t
helucci
anifest
Risler
p
bres
t
jury
appui.
th
oubsohn
ese
et
m'on
Dedieu
m
qui

on
egalemen
t
leur
bien
Sans
v
mes
oulu
aren
manifester
m
p
s
o
eur,
ur
amis
ma
le
rec
desquels
herc
n'aurait
he
et
un
e
in
ossible.
t
tous

coiv
er
t
lieu
3
Mr
ec
ma
de
ebut
nom
au
ee4
TI
des
...
..
..
..
..
...
..
..
..
..
..
..
...
..
..
..
..
...
..
...
..
..
..
..
...
..
..
..
..
..
..
...
eme
..
..
...
..
..
..
..
...
..
ome
us
...
..
..
..
..
...
..
...
...
..
..
..
..
...
..
Du
crit
al
Du
crit
al
...
..
..
..
..
...
..
..
..
..
..
..
...
..
..
..
..
...
..
...
..
..
..
..
...
..
...
..
..
..
..
...
..
...
..
e..
..
..
..
..
..
...
..
..
..
..
...
..
..
..
...
...
..
..
..
..
...
..
..
..
..
..
..
...
..
..
..
..
...
..
.
.
.

eparation-comptage
l
.

.
o
24
.
1.1.4
.
Exemples
La
.
etho
.
etho
.
etho
.
E
.
Bornes
.
de
.
o
.
2.1.1
.
en
.
s
.
51
.
c
.
s
.
.
.
.
.
.
.
.
.
.
.
bre
27
2.3.1
1.2
a
Bornes
de
p
x
our
de
fonctions
onen
exp-log
48
.
h
.
.
.
Bornes
.
ouv
.
our
.
r
.
.
.
2.2.1
.
.
.
.
.
.
.
.
.
p
.

xplicites
es
e

.
.
27
mati
1.2.1
l
Bornes
d'un
p
e
o
de
ur
ABLE
p
d
o
Thom-Ric
lyn^

omes
17
e
.
n

x
s
,
.
e
et
x
lyn^
et
M
e
de
f
r
(
n
x
.
)
our
ornes
15
b
Une
Des
m
1.1.3
e
21

.
ecien
.
e
.
.
.
.
28
.
1.2.2
m
Digressions
.
sur
.
le
.
m
.
^
.
.
.
.
.
t
.
h
54

e
.
emen
.
.
.

.
fonctions
.
t
.
2.2.3
.
our
.
.
explicites)
.
(non
.
.
T
29
2.3
1.3
n
Bornes
e
p

our
olyn^
p
onen
o

lyn^
Ric
rnes
M
e
h
n
r
x
s
et
n
sin
de
o
etho
x
m
.
1.1.1
.
.
.
tielle
.
48
.
M
b
etho
de
de
lgorithmique

a
.
Construction
.
1.1.2
exp
17
x
.
omes
30
.
1.3.1
2.1.2
Crit


de
ere
Sturm-Ric
d
a
e
d

o
nitude
.
.
.
.
.
.
p
.
p
.
1.1
.
.
.
2.2
.
n
.
elle
.

.
d
.
p
.
fonctions
.
a
.
o
.
ts
.

30
e
1.3.2
s
.
.
.
.
.
.
ere
taire
.
54
.
La
a

d
de

.
etermination
.
formelle
.
d
.
e
.
l
.
a
.

.
nitude
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
2.2.2
.
x
.
m
32
l
1.3.3
.
.
.
.
.

el
ere
ebro
alg
.
de
a
yp
d
certains

57
etermination
Complexit
pratique
e
.
p
.
.
.
.
.
.
.
.
.
1
hardson

.
able
41
5
2
58
S
Compter

e
eparation,
om
comptage
d
des
solutions
racines
syst
r
eme

p
eelles
omes
.
xp
ERES
tiels
2.1
63
Les
M
m
etho

de
etho
hardson
des
A
de
DES
.
Ric
T


63
45
eme
eres...
...
..
..
..
..
...
..
ak
..
..
..
...
..
..
..
..
...
..
...
..
..
..
..
...
..
..
..
..
..
..
...
..
..
..
..
...
..
ed
...
..
...
..
..
..
..
..
..
...
..
..
..
..
...
..
...
..
..
..
..
...
..
=0
...
..
...
..
..
..
..
...
..
..
..
..
..
...
..
..
..
..
..
...
..
..
..
..
...
..
..
..
..
..
...
...
..
..
..
..
...
..
..
..
..
..
..
...
..
..
..
..
..
..
...
..
..
..
..
...
..
...
..
..
..
..
...
..
100
Ob
li
Me
..
...
102
..
..
..
..
..
...
..
..
..
..
...
..
102
104
...
..
..
..
..
...
..
106
Th
..
..
..
..
107
..
..
..
..
..
...
..
108
..
..
..
..
..
...
..
..
..
..
...
..
109
.
.
.
.
m
m
74
.
oubsohn
.
TI
78
.
3.3
e
La
.
m
.

.
etho

d
Princip
e
.
d
d
e
des
bissection-exclusion
a
m
l
ulti-dim
c
e
.
nsionnelle
92
.
93
.
.
.
.
.
a
.
.
bissection-exclusion
.
e
E
.
.
82
de
3.3.1
.
Princip
4.5
e
"
d
4.5.1
e
l'inni
base
ation
.
.
.
.
d
.
e
.
d
l
etho
.


m
.
a
.
l
.
e
.

base
Complexit
e
3.2.4
99
.
.
82
e
3.3.2
a
Construction
i
d
t
u
.
p
.
olyn^
edieu
ome
4.4
d'exclusion
des
77
.
.
.
.
r
.
n
.
.
.
Rapp
.

.
des
83
.
3.3.3
Algorithme
Distance
.
e
.
n
.
tre
T
un
.
p
.
o
.
in
.
t
.
e
Bornes
t
demi-longueur
les
.
solutions
ne
d
Exclusion
e

P
oblique
.
.
.
.
.
.
.
.
.
.
.
.
.
98
.
d
.
.
83
'exclusion
4
etho
.
3.2
m
Construction

.
etho
.
de
.
d'exclusion
etho
g
4.3.3

q
en
a

e
eralis
usion

o
ee
.
p
4.3.4
o
.
ur
3.1
p
J.-C.
o
.
lyn^
.
omes
g
en

x
.
et
.
.
.
x
.
85
.
4.1
calisation
Exclusion
\
g
'

n
en
.

.
eralis
sur

.
ee

orthogonale
d
.
c
.

.
.
.
.
.
.
.
Local
.
.
.
.
.
elle
.
4.5.3
.
.
.
.
.
DES
.
.
.
.
86
.
4.1.1
.
Princip
.
e
.
e
.
t
.
c
.
onstruction
.
des
.
rectangles
4.2.2
d'
sur

a
e
d'exclusion
t
.
u
.
d
dimension
e
.
.
4.3
.
g
.
en
bissection-exclusion
eralis
.
ee
.
.
.
.
.
.
.
.
87
.
4.1.2
.
Le
.
p
.
o
.
lyn^
.
ome
.
d
.
'exclusion
.
.
.
.
4.3.1
.
e
.
e
.
.
.
u
.

.
d
.
d
.

.
La
.
.
.
4.3.2
.
pratique
.
.
.
.
de
.
.
.
.
73
de
d'exclusion
.
d
.

.
m
.
Algorithme
.
l
88
u
4.1.3
Gener
Algorithme
l
O
z
r
d
thog
xcl
onal
e
Gener
h
a
d
l
e
i
.
z
Princip
e
Exemples
d
.
E
.
x
.
cl
73
usion
Y
M
et
ethod
D
etho
J.-P
.
d'exclusion
.
de
.
Comparaison
90
lobale
4.1.4
m
Exemples
etho
.
d'exclusion
.
.
.
.
.
.
.
.
.
.

.
M
.
3.2.3
.
76
etho
.
Lo
d'exclusion
des
L'algorithme
acines
3.2.2

74
l
oubsohn
i
ak

Soyez le premier à déposer un commentaire !

17/1000 caractères maximum.