Publikation

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 Seiten 19-27 CEUR Workshop Proceedings 767 CEUR-WS.org 8/2011.

Abstrakt

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

Grundmannetal+11.pdf (pdf, 883 KB )

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence