The Future of Digital Infrastructures for Mathematical Research
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.
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.
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:
Am I a Digital Mathematician?
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:
A Research Infrastructure Tailored for Mathematics in the Digital Age
Opening Mathematical Research Data for the Next Generation