Skip to content
Snippets Groups Projects
Select Git revision
  • d92d4c437c91ab098a79b6335b2997d2faabc71a
  • master default
  • JS-based-scroll-rendering
  • Paul_Marius_Level
  • Paul_Marius_2
  • Paul_Marius
  • Andi_Mark
  • be-UnityWebView
  • gitignoreFrameitServer
  • ZimmerBSc
  • Bugfix_StageLoading
  • stages
  • MAZIFAU_Experimental
  • tsc/coneworld
  • tsc/fact-interaction
  • marcel
  • MaZiFAU_TopSort
  • mergeHelper
  • zwischenSpeichern
  • tempAndrToMaster
  • SebBranch
  • 3.0
  • v2.1
  • v2.0
  • v1.0
25 results

ShinyThings.cs.meta

Blame
  • 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.