Automatisiertes Beweisen durch Vollständige Induktion

Die Arbeit untersucht die Implementierung automatisierter Beweise durch vollständige Induktion anhand praktischer Beispiele. Ziel ist die Entwicklung einer generischen Routine im Computer Algebra System MAXIMA, die verschiedene Beweise führen kann, ohne Anpassungen vorzunehmen. Der erste Teil thematisiert den Nutzen von CAS in der schulischen Bildung und die Methode der vollständigen Induktion. Im praktischen Abschnitt werden spezifische Routinen zur Durchführung von Beweisen, wie Summen- und Produktformeln sowie Formeln zur n-ten Differenzierung, realisiert, wobei die Beschränkungen solcher automatisierten Verfahren aufgezeigt werden.