2022-09-12 – 09-16
MaRDI Mini Symposium:
The Future of Digital Infrastructures for Mathematical Research
DMV Annual Meeting 2022

Tabea Bacher (MPI MIS Leipzig); Moritz Schubotz and Olaf Teschke (FIZ Karlsruhe); Karsten Tabelow and Thomas Koprucki (WIAS Berlin)

As mathematics becomes more and more digital and algorithms, proof assistants, and digital databases become more and more involved in mathematical research, the question arises how to handle this mathematical research data that accumulates alongside a publication; how it can be stored, made accessible, and reused. How can a certain quality be ensured?

These are not easy questions, since mathematical research data is very diverse and infrastructure is just developing. But there are many great ideas and visions in the community that will be highlighted in this mini symposium. Next generation peer review, the Mathematical Knowledge Graph, repositories for mathematical research data, benchmark services, … to name a few.

Speakers will share their experience with already existing solutions and their visions and plans for how a well-developed integrated infrastructure can further facilitate mathematical research. A focus will be on the Mathematical Research Data Initiative (MaRDI), the NFDI consortium of the mathematical community, that will develop a portal for mathematical research data with many services in the next years. …

Talks on MaRDI
Leibniz MMS Days 2022


David Nolte
The MaRDI portal for mathematical research data
Mathematical research data (MRD), arising in many scientific fields, encompass widely different types of data and can be vast and complex, e.g., numerical data sets, mathematical expressions, algorithms, etc. The NFDI MRD Initiative (MaRDI) aims to define standards for MRD, to design verifiable workflows and to provide services to the scientific community. The services will be bundled in a web portal, allowing researchers to easily find and access mathematical research data, knowledge and services. In addition, the portal will offer storage capacities and host services for workflow and algorithm execution. At the core of the portal lies a mathematical knowledge graph which organizes and interconnects data from multiple sources. The main contribution of the portal is providing a unified entry point to access scattered and unconnected data. This talk gives an overview of the current status and planned features of the portal, and its value for the mathematical community.

Johannes Stegmüller
Overview and discussion of the progress of math search technologies
The number of scientific publications containing mathematical expressions is immense and constantly growing. For example, zbMATH Open, the world's longest-running abstracting and review service for mathematical content, indexes over 160 million formulas. Mathematical formula search is a core technology for finding scientific documents where formulas are defined as input. Since the introduction of many mathematical search systems in the NTCIR Math-Task series from 2013, there have been further advances and implementations of formula search. In the first 15 minutes of our talk, we want to provide an overview of current methods of formula search and related applications. According to the FAIR principles, we will emphasize aspects of reusability and accessibility here. Then, for the next 10 minutes, we intend to reach out to the audience and have a lively discussion on the planned efforts and experiences of the community with formula search. …

Potsdam Institute for Climate Impact Research (PIK)
Registration and Venue: …

David Nolte (ZIB Berlin)
The MaRDI portal for mathematical research data …
16:55 -17:15
Johannes Stegmüller (zbMATH Berlin)
Overview and discussion of the progress of math search technologies …
Talk on MaRDI
Conference of the Computeralgebra Fachgruppe

Max Planck Institute for Physics, München
Registration and Livestream:…

Jeroen Hanselman (TU Kaiserlautern)…
DMV-ÖMG 2021 Minisymposium - Ready for MaRDI:
Am I a Digital Mathematician?
Presentation of the NFDI-Consortium MaRDI at
DMV-ÖMG Annual Conference

Karsten Tabelow and Thomas Koprucki, Berlin; Moritz Schubotz and Olaf Teschke, Karlsruhe

Have you seen yourself typing $$ in an Email or did you miss the possibility to search for a mathematical formula in Google? If yes, you are already on your way to become a digital mathematician. The good news is, you are not alone and many mathematicians also use computers to obtain mathematical results.
The mathematical research data initiative (MaRDI) in Germany aims to connect those people and facilitates the sharing and finding of mathematical research data and mathematical knowledge. MaRDI aims to establish best practices and low-barrier infrastructures for mathematicians to better organize and access large amounts of data and knowledge. MaRDI aims to integrate individual results, e.g., as contained in a paper, into a common knowledge base like Wikipedia. In this minisymposium, we present the state-of-the-art and lessons learned from practical experience in handling mathematical research data and information. We invite mathematicians to share and discuss their experiences, needs, concerns and perspectives on the digital transformation and the innovations necessary to drive it across all levels of the mathematical ecosystem covering students, researchers, reviewers and funding bodies.

University of Passau
Registration, Venue and Livestream:…

Max Horn (Uni Kaiserslautern)
Towards confirmable computer algebra
Stephan Rave (WWU Münster)
A knowledge graph for numerical algorithms
Olaf Teschke (zbMATH, FIZ Karlsruhe)
zbMATH Open as a hub for digital research data
Philipp Scharpf (Uni Konstanz)
Mathematical Entity Linking - Methods and Applications
Christoph Lehrenfeld (Uni Göttingen)
Reproducible and accessible research with the CRC 1456
Ulrike Lucke (Uni Potsdam)
Mathematics and informatics within the NFDI (Lucke)
MaRDI Mini Symposium:
A Research Infrastructure Tailored for Mathematics in the Digital Age
DMV Annual Meeting 2020
Submission of binding letter of intent for MaRDI 2020
2020-07-08 – 07-09
MaRDI presentation
2nd NFDI conference 2020
MaRDI presentation
3rd Leibniz-Symposium NFDI
MaRDI Mini Symposium:
Opening Mathematical Research Data for the Next Generation
DMV Annual Conference on FAIRmath
2019-05-13 – 05-14
MaRDI presentation
1st NFDI conference 2019