Making presentation math computable : a context-sensitive approach for translating LaTeX to computer algebra systems / submitted by André Greiner-Petter. Wuppertal, 2021
Inhalt
- List of Figures
- Introduction
- Mathematical Information Retrieval
- Background and Overview
- Mathematical Formats and Their Conversions
- Web Formats
- Word Processor Formats
- Computable Formats
- Images and Tree Representations
- Math Embeddings
- From Presentation to Content Languages
- Background
- Benchmarking MathML
- Evaluation of Context-Agnostic Conversion Tools
- Summary of MathML Converters
- Mathematical Information Retrieval for LaTeX Translations
- Semantification of Mathematical LaTeX
- Semantification via Math-Word Embeddings
- Foundations and Related Work
- Semantic Knowledge Extraction
- On Overcoming the Issues of Knowledge Extraction Approaches
- The Future of Math Embeddings
- Semantification with Mathematical Objects of Interest
- Related Work
- Data Preparation
- Frequency Distributions of Mathematical Formulae
- Relevance Ranking for Formulae
- Applications
- Outlook
- Semantification with Textual Context Analysis
- From LaTeX to Computer Algebra Systems
- Qualitative and Quantitative Evaluations
- Evaluations on the Digital Library of Mathematical Functions
- The DLMF dataset
- Semantic LaTeX to CAS translation
- Evaluation of the DLMF using CAS
- Results
- Conclude Quantitative Evaluations on the DLMF
- Evaluations on Wikipedia
- Conclusion and Future Work
- BACK MATTER