We tackle the problem of neural machine translation of mathematical form...
This demo paper presents the first tool to annotate the reuse of text,
i...
This project investigated new approaches and technologies to enhance the...
Since the COVID-19 outbreak, the use of digital learning or education
pl...
Small to medium-scale data science experiments often rely on research
so...
Digital mathematical libraries assemble the knowledge of years of
mathem...
We have developed an automated procedure for symbolic and numerical test...
Document preparation systems like LaTeX offer the ability to render
math...
Mathematical formulae carry complex and essential semantic information i...
The zbMATH database contains more than 4 million bibliographic entries. ...
In mathematics, LaTeX is the de facto standard to prepare documents, e.g...
This poster summarizes our contributions to Wikimedia's processing pipel...
Mathematical notation, i.e., the writing system used to communicate conc...
Purpose: Modern mathematicians and scientists of math-related discipline...
Nowadays, Machine Learning (ML) is seen as the universal solution to imp...
Mathematical formulae represent complex semantic information in a concis...