This title is printed to order. This book may have been self-published. If so, we cannot guarantee the quality of the content. In the main most books will have gone through the editing process however some may not. We therefore suggest that you be aware of this before ordering this book. If in doubt check either the author or publisher’s details as we are unable to accept any returns unless they are faulty. Please contact us if you have any questions.
Inhaltsangabe: Zusammenfassung: Die vorliegende Arbeit beschaftigt sich mit zwei thematischen Schwerpunkten. Der eine Schwerpunkt sind numerische, verifizierende Verfahren. Darunter werden Algorithmen und Methoden verstanden, die mathematische Aufgaben mittels Computer numerisch (also nicht symbolisch) loesen und hierbei Loesungseinschliessungen liefern im Gegensatz zu den herkoemmlichen computerbasierten Verfahren, die gerundete Ergebnisse liefern, die weit von der echten Loesung entfernt liegen. Den zweite Schwerpunkt bilden die graphischen Benutzerschnittstellen, die es ermoeglichen mathematische Probleme zu visualisieren. Als Basis der Implementierungen im Rahmen dieser Arbeit wurde das Oberon-XSC System verwendet, da es beide Aspekte sehr gut miteinander vereint. Die Arbeit beginnt mit einer Einfuhrung in die mathematischen Grundlagen der Rechnerarithmetik und Intervallrechnung und einer Einfuhrung in Oberon. Daran anschliessend werden zwei Beispiele fur Visualisierungsprobleme geben. Zum einen ein Programm zur Darstellung eindimensionaler reeller Funktionen sowie gleichzeitig deren Ableitungen bzw. Taylorkurven. Dies werden dabei automatisch uber verifizierende Verfahren aus dem Funktionsausdruck berechnet. Zum anderen wird eine Fadenpendel-Simulation vorgestellt, fur deren Simluation ein System zweier Differentialgleichungen erster Ordnung durch ein Runge-Kutta-Verfahren der Ordnung 4 geloest werden muss. Im dritten Kapitel werden verschiedene numerische Verfahren detailliert vorgestellt und implementiert. Im speziellen sind das die Methoden der automatischen Differentiation und darauf aufbauen Algorithmen zur globalen Optimierung eindimensionaler reeller Funktionen. Inhaltsverzeichnis: Inhaltsverzeichnis: 1.Grundlagen1 1.1Kurze Einfuhrung in die Rechnerarithmetik1 1.1.1Die Raume der Rechnerarithmetik1 1.1.2Definition der Rechnerarithmetik3 1.2Einfuhrung in die Intervallrechnung5 1.2.1Definition und Eigenschaften der Intervallarithmetik6 1.2.2Maschinenin
