| Bibliography | Mundinger, Finn-Jannik: Lean als Werkzeug zur Untersuchung numerischer Algorithmen.
University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Bachelor Thesis No. 3 (2026).
31 pages, german.
|
|---|
| Abstract | In dieser Arbeit gebe ich eine Übersicht über den Beweisassistenten Lean und dessen Library Mathlib im Kontext der Numerik. Am Beispiel des Aitken-Schema zeige ich, wie Algorithmen aus der Numerik verifiziert werden können. Außerdem betrachte ich Darstellungen für Polynome; und definiere Typ-Klassen, die es erlauben Algorithmen und deren Beweise unabhängig von diesen Darstellungen zu definieren.
|
|---|
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 | April 21, 2026 |
|---|