Bibliography | Urban, Philipp: Formale Verifikation von Basistransformationen für Funktionsdarstellungen. University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Bachelor Thesis No. 53 (2021). 43 pages, german.
|
Abstract | Die vorliegende Bachelorarbeit gibt einen Einblick in die Anwendung der axiomatischen Semantik auf Algorithmen der Numerik. Dabei wurde das Hoare-Kalkül auf drei Algorithmen der Polynominterpolation angewendet. Untersucht wurden zwei Varianten des Algorithmus von Aitken-Neville und der newtonsche Algorithmus. Gesucht wurden Formalismen und Umformungstechniken, die auf Basistransformationen für Algorithmen aus der Numerik übertragen werden können. Die Anwendungen zeigen eine Zweckmäßigkeit der axiomatischen Semantik für numerische Algorithmen.
|
Full text and other links | Volltext
|
Department(s) | University of Stuttgart, Institute of Parallel and Distributed Systems, Simulation of Large Systems
|
Superviser(s) | Schulte, Prof. Miriam; Zimmer, Dr. Stefan |
Entry date | November 24, 2021 |
---|