Automatic Mathematical Information Retrieval to Perform Translations up to Computer Algebra Systems
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.
Code (0)
등록된 구현이 없습니다.
Tasks
Information RetrievalRetrievalSimilar Papers 제목 키워드 기반
CLIReval: Evaluating Machine Translation as a Cross-Lingual Information Retrieval Task
We present CLIReval, an easy-to-use toolkit for evaluating machine translation (MT) with the proxy task of cross-lingual information retrieval (CLIR). Contrary to what the project name might suggest, CLIReval does not ac…
Cross-Lingual Information RetrievalDocument TranslationInformation RetrievalMachine Translation+2Keyword-based Natural Language Premise Selection for an Automatic Mathematical Statement Proving
Extraction of supportive premises for a mathematical problem can contribute to profound success in improving automatic reasoning systems. One bottleneck in automated theorem proving is the lack of a proper semantic infor…
Automated Theorem ProvingInformation RetrievalKeyword ExtractionRetrievalMIRB: Mathematical Information Retrieval Benchmark
Mathematical Information Retrieval (MIR) is the task of retrieving information from mathematical documents and plays a key role in various applications, including theorem search in mathematical libraries, answer retrieva…
Automated Theorem ProvingInformation RetrievalMathRetrievalPET: a Tool for Post-editing and Assessing Machine Translation
Given the significant improvements in Machine Translation (MT) quality and the increasing demand for translations, post-editing of automatic translations is becoming a popular practice in the translation industry. It has…
Machine TranslationSentenceTranslationLearning to Exploit Different Translation Resources for Cross Language Information Retrieval
One of the important factors that affects the performance of Cross Language Information Retrieval(CLIR)is the quality of translations being employed in CLIR. In order to improve the quality of translations, it is importa…
Information RetrievalLearning-To-RankRetrievalTranslation