Skip to content
Snippets Groups Projects
Select Git revision
  • 44a1465a66ebdbb70a93b27f0fbfd31ae560e9df
  • master default
  • patch-1
3 results

2017-01-19-MathModels-Workshop.md

Blame
  • Forked from KWARC / kwarc.info / www
    1149 commits behind the upstream repository.
    user avatar
    Michael Kohlhase authored
    5c160c35
    History
    2017-01-19-MathModels-Workshop.md 629 B
    layout: post
    author: Michael Kohlhase
    title: Math Modeling Workshop at FAU; Math-in-the-Middle Ontology 
    tags:
        - workshop

    KWARC had a very productive workshop on modeling mathematical models with two members of the Weierstrass Institute for Applied Analysis and Stochastics (WIAS: Thomas Koprucki and Carsten Tabelow) for a one-week code (16.1. - 19. .) sprint on modelig the one-dimensional van Roosbroeck model in OMDoc/MMT.

    This was used as an opportunity to initiate the Math-in-the-Middle Ontology we have been talking about for the OpenDreamKit Project.