Maximal genaue Berechnung von Skalarproduktausdrücken und hochgenaue Auswertung von Programmteilen | lit.salon