MaMoReD
Funding: internal
Prof. Dr. Michael Kohlhase 
Dr. Dennis Müller 
Prof. Dr. Florian Rabe 
M.Sc. Theresa Pollinger
Funds:
Flexiformalizing Mathematical Models as Research Data
From: November 2016
Funding: internal
Prof. Dr. Michael Kohlhase Dr. Dennis Müller Prof. Dr. Florian Rabe M.Sc. Theresa Pollinger Dr. Thomas Koprucki (WIAS Berlin)
Dr. Wolfram Sperber (FIZ Karlsruhe)
Dr. Karsten Tabelow (WIAS Berlin)
Dr. Olaf Teschke (FIZ Karlsruhe)
Funds:
The MaMoReD projects studies whether and how the flexiformalization of mathematical mathematical models can allow them to be treated as research data, i.e. to be amenable to mathematical knowledge management methods.
Workshops
- 2018, January, 15-17 in Erlangen
Participants: Kohlhase, Koprucki, Müller, Rabe, Sperber, Tabelow
Topics- stochastic models (continued)
- preparation of grant proposal
- 2017, November, 4-8 at WIAS Berlin
Participants: Kohlhase, Koprucki, Müller, Rabe, Sperber, Tabelow
Topics- generation of Python and C code from MMT formalizations of models
- formal language for solution strategies of mathematical models
- stochastic models
- 2017, March, 21-24 at WIAS Berlin
Participants: Kohlhase, Koprucki, Müller, Rabe, Sperber, Tabelow, Teschke
Topics- preparation of journal paper on abstract definition of models
- formalization of units and quantities in MMT
- 2017, January, 16-19 in Erlangen
Participants: Kohlhase, Koprucki, Müller, Rabe, Tabelow
Topics- MMT tutorial
- formalization of van Roesbroock Modell for charge transport in semi-conductors in MMT
- formalizing complex device geometries
- survey of state of the art in mathematical modeling
- generation of LaTeX documents from MMT formalizations of models
- 2016, November 9. at WIAS Berlin Participants: Kohlhase, Koprucki, Tabelow Topics
- Models as Research Data
- Theory Graphs and Models
- Mathematical Knowledge Management for Models