Rolf Hammer · 2 obras en el catálogoObrasC++ toolbox for verified computing IMMaximal genaue Berechnung von Skalarproduktausdrücken und hoMaximal genaue Berechnung von Skalarproduktausdrücken und hochgenaue Auswertung von Programmteilen
MMaximal genaue Berechnung von Skalarproduktausdrücken und hoMaximal genaue Berechnung von Skalarproduktausdrücken und hochgenaue Auswertung von Programmteilen