-uz (l*r | * l*, l) * b, (lv, | * lvo l), uz (l*r I * l*, l) -u, ur(l*, | * l*, l) * u r (lv ,
] : [bt, b2 ,
f : [bk+I, on obtient comme précédemment, que âk+l : b1.,1 et ôk+l ,
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. ,
Aquarels product WW Home Page, www. simulog. frlaquarelsAEVW"WaquarelsAEIomePage. html IBCO 95Llser's Guide to PARI-GP, IAQU 96, p.33405 ,
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. ,
AQUARELS -A Problem-Solving Environment for Numerical Quality, Computational Mathematics, ERCIM News, vol.22, 1995. ,
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. ,
Étude théorique et implémentation en ADA de la méthode CESTAC', thèse, 1988. ,
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. ,
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. ,
The numerical problem of using Bézier curves and surfaces in the power basis, Computer Aided Geometric Design, vol.6, pp.121-128, 1989. ,
Analyse numérique et équations différentielles, 1991. ,
Eine experimentelle Studie von Konditionszahlen und numerischer Stabilit??t mittels Datenst??rungen, Computing, vol.30, issue.1, 1993. ,
DOI : 10.1007/BF02243827
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. ,
Contribution à la détermination de la précision de calcul des algorithmes de traitements numériques, 1991. ,
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. ,
Implémentation synchrone de CESTAC", Comptes rendus de I'Académie des sciences, tome 309 série I, pp.637-640, 1988. ,
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. ,
Contribution à l'étude de méthodes de contrôle de I'erreur d'arrondi : la méthodologie SCALP, 1989. ,
Imprécisions numériques en C.A.O. Étude de la propagation des erreurs, pp.95-104 ,
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
Calcul formel : Mode d'emploi. Exemples en Maple, 1995. ,
URL : https://hal.archives-ouvertes.fr/inria-00371192
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
Robust set operations on polyhedral solids, IEEE Computer Graphics and Applications, vol.9, issue.6, pp.50-59, 1989. ,
DOI : 10.1109/38.41469
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
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. ,
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. ,
The art of computer programming, 1961. ,
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. ,
Floating-point numbers with error estimates, Computer-Aided Design, vol.25, issue.9, pp.524-538 ,
DOI : 10.1016/0010-4485(93)90069-Z
Les représentation par les frontières : quelques constructions; difficultés rencontrées, thèse, Ecole Nationale Supérieure des Mines de, 1987. ,
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
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. ,
Arithmétique de I'ordinateur. Opérateurs et fonctions élémentairesErreurs numériques-Estimations et contrôle de la précision, 1989. ,
Elementary number theory and its applications, 1993. ,
Apport des logiciels de calcul formel à la modélisation géométrique en C.F.A ,
Solutions numériques des problèmes matriciels", Les presses de I ,
Robustness of numerical methods in geometric computation when problem data is uncertain, Computer Aided Design, vol.25, issue.9, pp.539-545, 1993. ,
Introduction to Numérical Analysis", chapitre I by Springer Verlag N.Y, seconde édition, 1993. ,
Etude statistique des erreurs dans I'arithmétique des ordinateurs, Numeri sche Mathemat 1k, pp.63-70 ,
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
Implémentation des méthodes d'optimisation : Test d'arrêt optimal, contrôle et précision de la solution (I), p.18, 1984. ,
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 ,
Ingénierie du contrôle de la précision des calculs sur ordinateur, p.20, 1993. ,