|
|
|
|
|
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.