WoM: An Open Interactive Platform for Describing, Exploring, and Sharing Mathematical Models

  • Jean-Marie Gaillourdet
  • Thomas Grundmann
  • Martin Memmel
  • Karsten Schmidt
  • Arnd Poetzsch-Heffter
  • Stefan Deßloch
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6884)

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.

Keywords

Simulation Program Label Transition System Model Platform Informal Description Knowledge Repository 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Eykhoff, P.: System Identification: Parameter and State Estimation. J. Wiley, Chichester (1974)MATHGoogle Scholar
  2. 2.
    Stein, W., et al.: Sage Mathematics Software. The Sage Development Team, version 4.5.3 (2010), http://www.sagemath.org
  3. 3.
    Memmel, M., Tomadaki, E., Wolpers, M.: An approach to enable collective intelligence in digital repositories. In: Luca, J., Weippl, E.R. (eds.) Proceedings of the World Conference on Educational Multimedia, Hypermedia & Telecommunications, ED-MEDIA 2008, pp. 1803–1811. AACE, Vienna (2008)Google Scholar
  4. 4.
    Wolpers, M., Memmel, M., Giretti, A.: Metadata in architecture education - first evaluation results of the MACE system. In: Cress, U., Dimitrova, V., Specht, M. (eds.) EC-TEL 2009. LNCS, vol. 5794, pp. 112–126. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  5. 5.
    Memmel, M., Schirru, R.: Sharing digital resources and metadata for open and flexible knowledge management systems. In: Tochtermann, K., Maurer, H. (eds.) Proceedings of the 7th International Conference on Knowledge Management (I-KNOW), pp. 41–48. Know-Center, Graz (2007) ISSN 0948-695x, Journal of Universal Computer ScienceGoogle Scholar
  6. 6.
    Wolfram: Wolfram demonstrations project, http://demonstrations.wolfram.com
  7. 7.
    Kohlhase, M.: Omdoc: Open mathematical documents. In: Vries, F., Attwell, G., Elferink, R., Tödt, A. (eds.) Open Source for Education, pp. 137–143 (November 2005)Google Scholar
  8. 8.
    Caprotti, O., Carlisle, D.: Openmath and mathml: semantic markup for mathematics. Crossroads 6, 11–14 (1999)CrossRefGoogle Scholar
  9. 9.
  10. 10.
    StatProb: The encyclopedia sponsored by statistics and probability societies, http://statprob.com
  11. 11.
    Giceva, J., Lange, C., Rabe, F.: Integrating web services into active mathematical documents. In: Carette, J., Dixon, L., Coen, C., Watt, S. (eds.) MKM 2009, Held as Part of CICM 2009. LNCS, vol. 5625, pp. 279–293. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  12. 12.
  13. 13.
    Melis, E., Goguadze, G., Libbrecht, P., Ullrich, C.: Active Math – a learning platform with semantic web features (2009), http://activemath.org
  14. 14.
    Naumowicz, A., Korniłowicz, A.: A brief overview of mizar. In: Berghofer, S., Nipkow, T., Urban, C., Wenzel, M. (eds.) TPHOLs 2009. LNCS, vol. 5674, pp. 67–72. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  15. 15.
    Doeben-Henisch, G.: The planet earth simulator project - a case study in computational semiotics. In: 7th AFRICON Conference in Africa, AFRICON 2004, vol. 1, pp. 417–422 (September 2004), http://oksimo.inm.de/

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Jean-Marie Gaillourdet
    • 1
  • Thomas Grundmann
    • 1
  • Martin Memmel
    • 2
    • 3
  • Karsten Schmidt
    • 1
  • Arnd Poetzsch-Heffter
    • 1
  • Stefan Deßloch
    • 1
  1. 1.Department of Computer ScienceUniversity of KaiserslauternGermany
  2. 2.Knowledge Management DepartmentDFKI GmbHKaiserslauternGermany
  3. 3.University of KaiserslauternGermany

Personalised recommendations