MathDataHub
Funding: DAAD
Program: Collaboration Grant
Prof. Dr. Michael Kohlhase
Prof. Dr. Florian Rabe
Dr. Katja Berčič
M.Sc. Tom Wiesing
Funds:
MathHub
A Collaboration Project with Ljubljana University
From: January 2020
To: December 2021
Funding: DAAD
Program: Collaboration Grant




Funds:

Modern mathematical research increasingly depends on collaborative tools, computational environments, and online databases, and these are changing the way mathematical research is conducted and how it is turned into applications. For example, engineers now use mathematical tools to build and simulate physical models based on systems of differential equations with millions of variables, combining building blocks and algorithms taken from libraries shared all over the internet. The KWARC group at FAU Erlangen-Nürnberg and the group at Ljubljana University collaborate on the establishment of MathDataHub, a semantic portal for mathematical data sets.