Session 15. Management of Mathematical Software, Mathematical Knowledge and Research Data


Aim and Scope

The focus of the session will be on concepts, tools, and services for handling, maintaining, and using mathematical software or mathematical knowledge more generally. Mathematical software is indispensible for scientific research but also plays a central role mediating between mathematics and applications. It embodies a great deal of mathematical knowledge, and sometimes directly requires developing more. Key technologies use mathematical software for computer simulations. But the development of an efficient infrastructure for mathematical software is challenging: software development is distributed, software has a life cycle, usage conditions vary, and standards for handling of software information are lacking. In addition, the incorporation of software into the scientific record brings to the fore questions of replicability and reproducibility that now extend to mathematical knowledge. With the change in trust for science, and even within it, it is imperative to have clear standards for truth and tools that support them.


The session will cover different aspects and types of software knowledge management, especially the development of standards, tools, and services for software, concepts for content analysis, and semantic interfaces. These are requirements for both improved facilities for search on mathematical software and automated, semantically controlled, use of mathematics. The contexts for mathematical software, especially models, algorithms, and data
and its embedding into the existing information infrastructure of mathematics will be part of discussion. The aim to define the framework for best practices in mathematical software and knowledge management.

Accepted Talks

Katja Berčič and Janoš Vidali: Towards a fingerprint database of discrete objects

Michael Kohlhase: Math Object Identifiers - Towards Research Data in Mathematics

Wolfram Sperber: Mathematical research data, software and the publication-based approach

Hagen Chrapary and Wolfgang Dalitz: Software products, software versions, archiving of software, and swMATH

Daniel S. Katz and Neil Chue Hong: Software Citation in Theory and Practice