# RISC Theses

## Theorema Project: Tracing Computations (master thesis)

*Investigator:* Johannes Nigl (since 2014-05-13)

*Advisor:* Wolfgang Windsteiger

*Short Description:* The Theorema system displays mathematical proofs in natural language in a structured way, such that every logical step can easily be understood by humans. In this thesis, a similar mechanism should be developed for computations, such that calculations are presented step-by-step in a human-comprehensible way.

webmaster