1st Leibniz MMS Days - Abstract
Müller, Fabian
The classical role of textual publications as the central entities of mathematical research is nowadays supplemented ? not only in applied fields ? by ever increasing collections of research data of all kinds, which constitute research objects and results in their own right. Among others, these include source code, results of numerical simulations, corpora of test data, but also mathematical objects like integer sequences or special functions. One of the diverse challenges posed by such data is to ensure their long-term availability through sustainable hosting solutions, enabling researchers to reproduce results and build upon them. Furthermore, having good methods for their content analysis and semantic enrichment is indispensable for making this data searchable and interlinking multiple data sources. The talk will discuss approaches to automating such linking and present a LaTeX-based formula search as an example of a semantic searching functionality.