---
layout: project

title: MaMoReD
shorttitle: MaMoReD
teaser: Flexiformalizing Mathematical Models as Research Data

active: true
start_date: '2016-11'
publink: http://kwarc.github.io/bibs/MaMoReD

people:
    - mkohlhase
    - dmueller
    - frabe
    - tpollinger

collaborators:
    - Dr. Thomas Koprucki (WIAS Berlin)
    - Dr. Wolfram Sperber (FIZ Karlsruhe)
    - Dr. Karsten Tabelow (WIAS Berlin)
    - Dr. Olaf Teschke (FIZ Karlsruhe)
logo: public/kwarc_logo.svg
funding: internal
---
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

<!-- don't introduce new lines here, it confuses the markdown processor; add two spaces at the end of a line for a line break -->

1. 2018, January, 15-17 in Erlangen  
   **Participants**: Kohlhase, Koprucki, Müller, Rabe, Sperber, Tabelow  
   **Topics**  
   * stochastic models (continued)
   * preparation of grant proposal
1. 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
1. 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
1. 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
   1. 2016, November 9. at WIAS Berlin
   **Participants**: Kohlhase, Koprucki, Tabelow
   **Topics**
   * Models as Research Data   
   * Theory Graphs and Models
   * Mathematical Knowledge Management for Models