Verifizierte Formelauswertung in Computer-Algebra-Systemen und objektorientierten Programmierumgebungen / vorgelegt von Andreas Steins