Résumé : Les travaux effectues dans le cadre de cette thèse contribuent a la détermination de la précision de calcul des algorithmes de traitements numériques, par l'élaboration d'une nouvelle approche théorique et pratique de certification d'algorithmes. Par certification d'algorithme, nous entendons: 1) la quantification des erreurs de sortie lorsque celles d'entrée sont connues, 2) la détermination de la stabilité d'un algorithme dans tout son domaine de validité, 3) la détermination des points critiques de l'algorithme, 4) la comparaison et la graduation de nombreux algorithmes censés résoudre le même problème. L'algorithme à certifier sera considéré comme une boite noire dont on ne peut voir que les entrées et les sorties. A partir de son comportement en fonction des entrées données, nous construisons un modèle mathématique permettant de l'identifier, en tout point de son domaine de définition. la nouvelle approche élaborée est fondée sur la théorie des problèmes inverses associée a celle des probabilités
Notes : Bibliogr. p. 169-176
Thèse de doctorat : Sciences Appliquées (automatique) : Ecole Centrale de Paris : 1991 (version d'origine)