Theorema Project: Tracing Computations

Theorema Project: Tracing Computations (Advisor: Wolfgang Windsteiger). 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.

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.