Jüllig, Hans-PeterHans-PeterJüllig2021-05-102021-05-101992Berichte des Forschungsschwerpunktes Informations- und Kommunikationstechnik 92.2: (1992)http://hdl.handle.net/11420/9487deInformatikMathematikAlgorithmen mit Ergebnisverifikation mit C++/2.0Technical ReportOther