Theorema Project: Interactive Proving

Theorema Project: Interactive Proving (Advisor: Wolfgang Windsteiger). The topic of this thesis is the design and implementation of an interactive theorem prover in the frame of Theorema 2.0. Prerequisites: basic knowledge of the Mathematica programming language, interest in logic/proving, working in a bigger team, and structured software development. Working area: 50% mathematics, 50% informatics.

The topic of this thesis is the design and implementation of an interactive theorem prover in the frame of Theorema 2.0.

Prerequisites: basic knowledge of the Mathematica programming language, interest in logic/proving, working in a bigger team, and structured software development.

Working area: 50% mathematics, 50% informatics.