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

05/12/2023
by   Bela Gipp, et al.
0

This project investigated new approaches and technologies to enhance the accessibility of mathematical content and its semantic information for a broad range of information retrieval applications. To achieve this goal, the project addressed three main research challenges: (1) syntactic analysis of mathematical expressions, (2) semantic enrichment of mathematical expressions, and (3) evaluation using quality metrics and demonstrators. To make our research useful for the research community, we published tools that enable researchers to process mathematical expressions more effectively and efficiently.

READ FULL TEXT
research
08/28/2018

MIaS: Math-Aware Retrieval in Digital Mathematical Libraries

Digital mathematical libraries (DMLs) such as arXiv, Numdam, and EuDML c...
research
09/17/2021

MathTools: An Open API for Convenient MathML Handling

Mathematical formulae carry complex and essential semantic information i...
research
07/12/2017

VMEXT: A Visualization Tool for Mathematical Expression Trees

Mathematical expressions can be represented as a tree consisting of term...
research
04/13/2018

Improving the Representation and Conversion of Mathematical Formulae by Considering their Textual Context

Mathematical formulae represent complex semantic information in a concis...
research
10/27/2020

Semantic Search in Millions of Equations

Given the increase of publications, search for relevant papers becomes t...
research
08/22/2022

Self-Supervised Pretraining of Graph Neural Network for the Retrieval of Related Mathematical Expressions in Scientific Articles

Given the increase of publications, search for relevant papers becomes t...
research
01/28/2020

Simplifying Casts and Coercions

This paper introduces norm_cast, a toolbox of tactics for the Lean proof...

Please sign up or login with your details

Forgot password? Click here to reset