research
∙
05/25/2023
Neural Machine Translation for Mathematical Formulae
We tackle the problem of neural machine translation of mathematical form...
share
research
∙
05/22/2023
TEIMMA: The First Content Reuse Annotator for Text, Images, and Math
This demo paper presents the first tool to annotate the reuse of text, i...
research
∙
05/12/2023
Methods and Tools to Advance the Retrieval of Mathematical Knowledge from Digital Libraries for Search-, Recommendation-, and Assistance-Systems
This project investigated new approaches and technologies to enhance the...
research
∙
11/15/2022
Collaborative and AI-aided Exam Question Generation using Wikidata in Education
Since the COVID-19 outbreak, the use of digital learning or education pl...
research
∙
11/08/2022
Caching and Reproducibility: Making Data Science experiments faster and FAIRer
Small to medium-scale data science experiments often rely on research so...
research
∙
01/24/2022
Comparative Verification of the Digital Library of Mathematical Functions and Computer Algebra Systems
Digital mathematical libraries assemble the knowledge of years of mathem...
research
∙
09/18/2021
Automated Symbolic and Numerical Testing of DLMF Formulae using Computer Algebra Systems
We have developed an automated procedure for symbolic and numerical test...
research
∙
09/17/2021
Semantic Preserving Bijective Mappings of Mathematical Formulae between Document Preparation Systems and Computer Algebra Systems
Document preparation systems like LaTeX offer the ability to render math...
research
∙
09/17/2021
MathTools: An Open API for Convenient MathML Handling
Mathematical formulae carry complex and essential semantic information i...
research
∙
12/04/2020
ARQMath Lab: An Incubator for Semantic Formula Search in zbMATH Open?
The zbMATH database contains more than 4 million bibliographic entries. ...
research
∙
11/30/2020
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...
research
∙
03/20/2020
Mathematical Formulae in Wikimedia Projects 2020
This poster summarizes our contributions to Wikimedia's processing pipel...
research
∙
02/07/2020
Discovering Mathematical Objects of Interest – A Study of Mathematical Notations
Mathematical notation, i.e., the writing system used to communicate conc...
research
∙
06/27/2019
Semantic Preserving Bijective Mappings for Expressions involving Special Functions in Computer Algebra Systems and Document Preparation Systems
Purpose: Modern mathematicians and scientists of math-related discipline...
research
∙
05/20/2019
Why Machines Cannot Learn Mathematics, Yet
Nowadays, Machine Learning (ML) is seen as the universal solution to imp...
research
∙
04/13/2018
