Sichere Ergebnisse auf Rechenanlagen (Q1819893)

Der Autor gibt einen Überblick über Methoden zur Berechnung von exakten Ergebnissen oder Approximationen mit optimal guten Fehlerschranken auf Rechenanlagen. Zunächst erwähnt er die Grundrechnungsarten für beliebig lange ganze Zahlen, exakte rationale Zahlen, Polynome und algebraische Zahlen, insbesondere Methoden zur Multiplikation von n-stelligen Zahlen mit einer asymptotischen Rechenzeit von \(O(n^{\log_ 23})\) bzw. O(n log \(n\cdot \log \log n)\). In einem 2. Kapitel werden Rechenmaschinenprogramme zur symbolischen Differentiation, Integration und weiteren symbolischen Manipulationen besprochen. Im letzten Kapitel geht der Verf. auf die Intervallrechnung zur Bestimmung exakter Fehlerschranken, die Rückwärtsanalyse und die Kulisch- Arithmetik zur Bestimmung optimaler Fehlerschranken für elementare Rechenvorschriften wie inneres Vektorprodukt usw. ein.