Dr. Moritz Schubotz
University of Konstanz
Title of the project:
Machine Translation for Mathematical Formulae
Machine Translation is a well-researched sub discipline of computer science with practical implications to our daily lives. Like the translation of natural language texts, working mathematicians often translate representations of mathematical expressions between paper and software systems. For example, this might include the translation from a scientific paper to a computer algebra system, or between different computer algebra systems.
The goal of this seven-month research stay is to investigate how machine translation methods can be adapted to the translation of mathematical expressions.