=. Mro, -uz (l*r | * l*, l) * b, (lv, | * lvo l), uz (l*r I * l*, l) -u, ur(l*, | * l*, l) * u r (lv

. Donc-fay-a2, ] : [bt, b2

I. E. Supponsons-la-propriété-vraie-jusqu-'à-k, f : [bk+I, on obtient comme précédemment, que âk+l : b1.,1 et ôk+l

N. Alliot, Logiciels d'identification de paramètres dans des modèles non linéaires avec estimation de la précision des résultats, thèse, 1985.

C. Batut, D. Bernardi, H. Cohen, and M. Olivier, Aquarels product WW Home Page, www. simulog. frlaquarelsAEVW"WaquarelsAEIomePage. html IBCO 95Llser's Guide to PARI-GP, IAQU 96, p.33405

I. Benouamer and M. O. , Opérations booléennes sur les polyèdres représentés par leurs frontières et imprécisions numériques, thèse, Ecole Nationale Supérieure des Mines de St Etienne, 1993.

I. Bernard and P. , AQUARELS -A Problem-Solving Environment for Numerical Quality, Computational Mathematics, ERCIM News, vol.22, 1995.

J. M. Chesnaux and J. Vignes, Sur la robustesse de la méthode CESTAC", Comptes rendus de l'Académie des sciences, tome 307 série I nol, pp.855-860, 1988.

J. M. Chesnaux, Étude théorique et implémentation en ADA de la méthode CESTAC', thèse, 1988.

I. Ciarlet and P. G. , Introduction à I'analyse numérique matricielle et à I'optimisationEtude des algorithmes de calcul d'un point d'une courbe ou surface Bsplines, pp.33-56, 1988.

M. Daniel, Modélisation de courbes et surfaces par des B-splines. Application à la conception et à la visulllpation des formes, thèse, Ecole Nationale Supérieure de Mécanique de Nanp, 1989.

J. C. Daubisse and M. Daniel, The numerical problem of using Bézier curves and surfaces in the power basis, Computer Aided Geometric Design, vol.6, pp.121-128, 1989.

I. Demailly and J. P. , Analyse numérique et équations différentielles, 1991.

I. Erhel and J. , Eine experimentelle Studie von Konditionszahlen und numerischer Stabilit??t mittels Datenst??rungen, Computing, vol.30, issue.1, 1993.
DOI : 10.1007/BF02243827

I. Eyssette, F. Faure, C. Gilbert, J. C. Rostaing-schmidt, and N. , Applicabilité de la différentiation automatique à un système d'équations aux dérivées partielles régissant les phénomènes thermohydroliques dans un tube chauffant, 1996.

I. Fall and M. M. , Contribution à la détermination de la précision de calcul des algorithmes de traitements numériques, 1991.

J. P. Faye, Approche stochastique de la propagation des erreurs d'arrondis dans les méthodes itératives : application à I'algorithme QR de calcul de valeurs propres, thèse, 1987.

. Fay and J. P. Faye, Implémentation synchrone de CESTAC", Comptes rendus de I'Académie des sciences, tome 309 série I, pp.637-640, 1988.

I. Feldstein, A. Goodman, R. Turner, and P. , Convergence estimates for the distribution of trailing digitsOverflow, underflo\ry, and sever loss of significance in floating-point addition and subtraction, Journal of the Association for Computing Machinery, pp.287-297, 1986.

I. François, P. Thèse, and I. N. Grenoble, Contribution à l'étude de méthodes de contrôle de I'erreur d'arrondi : la méthodologie SCALP, 1989.

Y. Gardan and D. Pirus, Imprécisions numériques en C.A.O. Étude de la propagation des erreurs, pp.95-104

D. Goldberg, What every computer scientist should know about floating-point arithmetic, ACM Computing Surveys, vol.23, issue.1, pp.5-48, 1991.
DOI : 10.1145/103162.103163

I. Gomez, C. Salvy, B. Zimmermann, and P. , Calcul formel : Mode d'emploi. Exemples en Maple, 1995.
URL : https://hal.archives-ouvertes.fr/inria-00371192

I. Hardy, G. H. Wright, and E. M. , An introduction to the theory of numbers, Bulletin of the American Mathematical Society, vol.35, issue.6, 1960.
DOI : 10.1090/S0002-9904-1929-04793-1

F. Hoffrnann, M. C. Hopcroft, J. E. Karasick, and M. S. , Robust set operations on polyhedral solids, IEEE Computer Graphics and Applications, vol.9, issue.6, pp.50-59, 1989.
DOI : 10.1109/38.41469

I. Hoffmann, M. C. Hopcroft, J. E. Karasick, and M. S. , Towards implementation robust geometric computations, 4th ACM Symposium, pp.106-123, 1988.
DOI : 10.1145/73393.73405

URL : http://docs.lib.purdue.edu/cgi/viewcontent.cgi?article%3D1628%26context%3Dcstech

. Kaufmann, Geometric and Solid Modeling, an introductionThe problems of accuracy and robustness in geometric computation, rt7 Références bibliographiques Hoffinann M.C, pp.3-42, 1989.

P. Jaillon, Proposition d'une arithmétique rationnelle paresseuse et d'un outil d'aide à la saisie d'objets en synthèse d'images, thèse, École Nationale Supérieure des mines de Saint-Étienne, 1993.

D. E. Knuth, The art of computer programming, 1961.

I. Lucas and E. , Théorie des nombres", tomel, Librairie scientifique et technique Albert Blanchard. l96l [MAI 82] Maillé MSome methods to estimate accuracy of measurements or numerical computations, Processings of Maths. for Comp. Congress AFCET, 1982.

G. Masotti, Floating-point numbers with error estimates, Computer-Aided Design, vol.25, issue.9, pp.524-538
DOI : 10.1016/0010-4485(93)90069-Z

D. Michelucci, Les représentation par les frontières : quelques constructions; difficultés rencontrées, thèse, Ecole Nationale Supérieure des Mines de, 1987.

I. Milenkovic and V. J. , Verifiable implementations of geometric algorithms using finite precision arithmetic, Artificial Intelligence, vol.37, issue.1-3, pp.377-401, 1988.
DOI : 10.1016/0004-3702(88)90061-6

I. J. Moreau, Hiérarchisation et facetisation de la représentation par segmenrs d'un graphe planaire dans le cadre d'une arithmétique mixte, Thèse, Ecole Nationale Supérieure des Mines de St Etienne, 1990.

J. M. Muller, Arithmétique de I'ordinateur. Opérateurs et fonctions élémentairesErreurs numériques-Estimations et contrôle de la précision, 1989.

K. H. Rosen, Elementary number theory and its applications, 1993.

H. Shahbazkia, Apport des logiciels de calcul formel à la modélisation géométrique en C.F.A

. Ste, N. F. Stewart, and F. Jensen, Solutions numériques des problèmes matriciels", Les presses de I

I. Stewart, N. F. Desaulniers, and H. , Robustness of numerical methods in geometric computation when problem data is uncertain, Computer Aided Design, vol.25, issue.9, pp.539-545, 1993.

J. Stoer and R. Bulirsch, Introduction to Numérical Analysis", chapitre I by Springer Verlag N.Y, seconde édition, 1993.

J. Vignes, L. Porte, and M. , Etude statistique des erreurs dans I'arithmétique des ordinateurs, Numeri sche Mathemat 1k, pp.63-70

I. Vignes and J. , New methods for evaluating the validity of the results of mathematical computations, Mathematics and Computers in Simulation, vol.20, issue.4, pp.227-231, 1978.
DOI : 10.1016/0378-4754(78)90016-2

R. and R. Opérationnelle, Implémentation des méthodes d'optimisation : Test d'arrêt optimal, contrôle et précision de la solution (I), p.18, 1984.

R. and R. Opérationnelle, Implémentation des méthodes d'optimisation : Test d'arrêt optimal, contrôle et précision de la solution (II)Zéro mathématique et zéro informatique, Comptes rendus de I'Académie des sciences, tome 303, série I n"l, pp.3-129

I. Vignes, J. Pichat, and M. , Ingénierie du contrôle de la précision des calculs sur ordinateur, p.20, 1993.