Algorithmen mit Ergebnisverifikation : einige Bemerkungen zu neueren Entwicklungen

Jansson, ChristianChristianJanssonRump, Siegfried M.Siegfried M.Rump2021-05-062021-05-061994Jahrbuch Überblicke Mathematik (1994) 47-73 (1994)http://hdl.handle.net/11420/9466deMathematikAlgorithmen mit Ergebnisverifikation : einige Bemerkungen zu neueren EntwicklungenJournal ArticleOther