Rolf HammerBooksC++ toolbox for verified computing IMaximal genaue Berechnung von Skalarproduktausdrücken und hochgenaue Auswertung von ProgrammteilenAuthor data: Open Library