Proceedings-Artikel

The Web of Mathematical Models: A Schema-based, Wiki-like, Interactive Platform

Thomas Grundmann; Jean-Marie Gaillourdet; Karsten Schmidt; Arnd Poetzsch-Heffter; Stefan Deßloch; Martin Memmel
In: Christoph Lange; Josef Urban (Hrsg.). Proceedings of the ITP 2011 Workshop on Mathematical Wikis (MathWikis 2011). International Conference on Interactive Theorem Proving (ITP-2011), August 22-25, Nijmegen, Netherlands, Pages 19-27, CEUR Workshop Proceedings, Vol. 767, CEUR-WS.org, 8/2011.

Abstract

In science and engineering mathematical models are increasingly important to describe natural phenomena and design artifacts. Our goals is to make the notion of “mathematical models” more explicit and precise as well as to build up knowledge repositories for searching, exploring, combining, and sharing models. With the Web of Mathematical Models, WoM, we provide a platform to host such models on the Web. Models follow an explicit, content-related schema.

Weitere Links

BibTeX

http://ceur-ws.org/Vol-767/paper-05.pdf

Grundmannetal+11.pdf