WoM: an open interactive platform for describing, exploring, and sharing mathematical models

Authors:
Jean-Marie Gaillourdet;Thomas Grundmann;Martin Memmel;Karsten Schmidt;Arnd Poetzsch-Heffter;Stefan Deßloch
Affiliations:
Department of Computer Science, University of Kaiserslautern, Germany;Department of Computer Science, University of Kaiserslautern, Germany;Knowledge Management Department, DFKI GmbH, Kaiserslautern, Germany and University of Kaiserslautern, Germany;Department of Computer Science, University of Kaiserslautern, Germany;Department of Computer Science, University of Kaiserslautern, Germany;Department of Computer Science, University of Kaiserslautern, Germany
Venue:
KES'11 Proceedings of the 15th international conference on Knowledge-based and intelligent information and engineering systems - Volume Part IV
Year:
2011

Citing 4
Cited 0

OpenMath and MathML: semantic markup for mathematics

Crossroads - Special issue on markup languages
Integrating Web Services into Active Mathematical Documents

Calculemus '09/MKM '09 Proceedings of the 16th Symposium, 8th International Conference. Held as Part of CICM '09 on Intelligent Computer Mathematics
A Brief Overview of Mizar

TPHOLs '09 Proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics
Metadata in Architecture Education - First Evaluation Results of the MACE System

EC-TEL '09 Proceedings of the 4th European Conference on Technology Enhanced Learning: Learning in the Synergy of Multiple Disciplines

Quantified Score

Hi-index	0.00

Visualization

Abstract

Mathematical models play an increasingly important role in science and engineering. In this paper, we present WoM, a platform for building up knowledge repositories for searching, exploring, combining, and sharing such models. In contrast to similar efforts, WoM supports a well-defined semi-structured representation for mathematical models, which acts as a solid foundation for intelligent web-based presentation, browsing, search, simulation/visualization, and Web community capabilities. We envision WoM to provide a foundation for future design flows and engineering processes using standardized, composable, and computer-supported models.