Verfahren zur näherungsweisen Berechnung von Lösungen nichtlinearer Gleichungssysteme mit gleichzeitiger Berechnung von Fehlerschranken im Sinne der Intervallrechnung. Am häufigsten verwendete Verfahren sind dabei das Intervall-Newton-Verfahren und das Krawczyk-Verfahren.