Forked from
KWARC / kwarc.info / www
1022 commits behind the upstream repository.
-
Michael Kohlhase authoredMichael Kohlhase authored
mamored.md 538 B
layout: project
title: MaMoReD
teaser: Flexiformalizing Mathematical Models as Research Data
active: true
start_date: '2016-11'
people:
- mkohlhase
- dmueller
- frabe
- tpollinger
collaborators:
- Dr. Thomas Koprucki (WIAS Berlin)
- Dr. Karsten Tabelov (WIAS Berlin)
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.