Lösung nichtlinearer Gleichungen mit Verifikation des Ergebnisses

Abstract

On presente des methodes d'amelioration de procedes classiques pour la resolution de systemes d'equations algebriques non lineaires avec verification du resultat. On considere en particulier le calcul de derivees partielles qui interviennent et l'assistance par ordinateur pour des problemes de valeurs critiales