Verifizierte Formelauswertung in Computer-Algebra-Systemen und objektorientierten Programmierumgebungen / vorgelegt von Andreas Steins. 1995
Inhalt
- Inhaltsverzeichnis
- 0 Einleitung
- 1 Verifizierte Auswertung arithmetischer Ausdrücke
- 1.1 Der Algorithmus von Böhm
- 1.2 Eine Verallgemeinerung des Böhm-Algorithmus nach Fischer
- 1.3 Wiederberechnungsverfahren
- 2 Genaue Standardfunktionen in dynamischen Rastern
- 2.1 Grundlagen
- 2.1.1 Verwendeter Fehlerkalkül und grundlegende Abschätzungen
- 2.1.2 Polynom-Auswertung nach dem Horner-Schema
- 2.2 Standardfunktionen über Potenzreihen
- 2.2.1 Die Exponentialfunktion
- 2.2.2 Der Sinus und Kosinus
- 2.2.3 Der hyperbolische Sinus
- 2.2.4 Der Arcustangens
- 2.2.5 Der Areasinus
- 2.2.6 Der Areakosinus
- 2.2.7 Der Areatangens
- 2.3 Standardfunktionen über Newton-Verfahren
- 2.4 Standardfunktionen über algebraische Identitäten
- 3 Implementierungen
- A Beispiel-Applikationen
- Literaturverzeichnis