Title: Maximal genaue Berechnung von Skalarproduktausdrücken und hochgenaue Auswertung von Programmteilen