A Collaboration Project with Ljubljana University

From: January 2020
To: December 2021

Funding: DAAD
Program: Collaboration Grant

Prof. Dr. Michael Kohlhase
PD Dr. Florian Rabe
Dr. Katja Berčič
M.Sc. Tom Wiesing


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.