Picture for André Greiner-Petter

André Greiner-Petter

TEIMMA: The First Content Reuse Annotator for Text, Images, and Math

Add code
May 22, 2023
Viaarxiv icon

Methods and Tools to Advance the Retrieval of Mathematical Knowledge from Digital Libraries for Search-, Recommendation-, and Assistance-Systems

Add code
May 12, 2023
Viaarxiv icon

Semantic Preserving Bijective Mappings of Mathematical Formulae between Document Preparation Systems and Computer Algebra Systems

Add code
Sep 17, 2021
Figure 1 for Semantic Preserving Bijective Mappings of Mathematical Formulae between Document Preparation Systems and Computer Algebra Systems
Figure 2 for Semantic Preserving Bijective Mappings of Mathematical Formulae between Document Preparation Systems and Computer Algebra Systems
Figure 3 for Semantic Preserving Bijective Mappings of Mathematical Formulae between Document Preparation Systems and Computer Algebra Systems
Figure 4 for Semantic Preserving Bijective Mappings of Mathematical Formulae between Document Preparation Systems and Computer Algebra Systems
Viaarxiv icon

Why Machines Cannot Learn Mathematics, Yet

Add code
May 20, 2019
Figure 1 for Why Machines Cannot Learn Mathematics, Yet
Figure 2 for Why Machines Cannot Learn Mathematics, Yet
Viaarxiv icon