Advertisement

Authoring Presentation for openmath

  • Shahid Manzoor
  • Paul Libbrecht
  • Carsten Ullrich
  • Erica Melis
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3863)

Abstract

Some mathematical objects can have more than one notation. When a system compiles mathematical material from multiple sources, a management effort to maintain uniform and appropriate notations becomes necessary. Additionally, the need arises to facilitate the notations editing of the mathematical objects with authoring tools. In this paper, we present our work towards those needs. We have designed a framework that defines an authoring cycle supported by series of tools, which eases the creation of notations for the symbols in the process of publishing mathematics for the web.

Keywords

Mathematical Object Output Format Authoring Tool Symbol Notation Notation Editing 
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. [Car00]
    Carlisle, D.: Openmath, MathML, and XSL. In: ACM SIGSAM Bulletin, June 2000, vol. 34(2), pp. 6–11 (2000), ISSN:0163-5824Google Scholar
  2. [Koh04]
    Kohlhase, M.: OMDoc an open markup format for mathematical documents (version 1.2). Manuscript (2004), http://www.mathweb.org/omdoc/
  3. [Lib04]
    Libbrecht, P.: Authoring web content in activemath: From developer tools and further. In: Christea, A., Garzotto, F. (eds.) Proceedings of the Second International Workshop on Authoring Adaptive and Adaptable Educational Hypermedia, AH-2004: Workshop Proceedings, Part II, CS-Report 04-19, pp. 455–460. Technische Universiteit Eindhoven (2004)Google Scholar
  4. [LW05]
    Libbrecht, P., Winterstein, S.: internationalizing leactivemath. Technical report, LeActiveMath consortium (2005), http://www.leactivemath.org
  5. [MAB+01]
    Melis, E., Andrès, E., Büdenbender, J., Frischauf, A., Goguadze, G., Libbrecht, P., Pollet, M., Ullrich, C.: Activemath: A generic and adaptive web-based learning environment. International Journal of Artificial Intelligence in Education 12(4), 385–407 (2001)Google Scholar
  6. [NW01]
    Naylor, B., Watt, S.: Meta style sheets for the conversion of mathematical documents into multiple forms. In: International Workshop on Mathematical Knowledge Management (September 2001), http://www.emis.de/proceedings/MKM2001
  7. [ULWM04]
    Ullrich, C., Libbrecht, P., Winterstein, S., Mühlenbrock, M.: A flexible and efficient presentation-architecture for adaptive hypermedia: Description and technical evaluation. In: Kinshuk, C., Looi, E., Sutinen, D., Sampson, I., Aedo, L. (eds.) Proceedings of the 4th IEEE International Conference on Advanced Learning Technologies (ICALT 2004), pp. 21–25 (2004)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Shahid Manzoor
    • 1
  • Paul Libbrecht
    • 1
  • Carsten Ullrich
    • 1
  • Erica Melis
    • 1
  1. 1.Deutsches Forschungszentrum für Künstliche Intelligenz 

Personalised recommendations