2 works on record
C++ toolbox for verified computing I
Maximal genaue Berechnung von Skalarproduktausdrücken und hochgenaue Auswertung von Programmteilen