Automatic Mathematical Information Retrieval to Perform Translations up to Computer Algebra Systems

TL;DR

This paper proposes a method to automatically semantically enrich mathematical expressions in LaTeX, enabling efficient translation into computer algebra systems and enhancing functionalities like search and plagiarism detection.

Contribution

It introduces a novel approach to automatically enrich mathematical expressions semantically for improved integration with computer algebra systems.

Findings

Enhanced translation accuracy to computer algebra systems

Improved semantic preservation of mathematical expressions

Potential for advanced search and plagiarism detection

Abstract

In mathematics, LaTeX is the de facto standard to prepare documents, e.g., scientific publications. While some formulae are still developed using pen and paper, more complicated mathematical expressions used more and more often with computer algebra systems. Mathematical expressions are often manually transcribed to computer algebra systems. The goal of my doctoral thesis is to improve the efficiency of this workflow. My envisioned method will automatically semantically enrich mathematical expressions so that they can be imported to computer algebra systems and other systems that can take advantage of the semantics, such as search engines or automatic plagiarism detection systems. These imports should preserve the essential semantic features of the expression.