Skip to main content

Authoring Presentation for openmath

  • Conference paper
Mathematical Knowledge Management (MKM 2005)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 3863))

Included in the following conference series:

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Carlisle, D.: Openmath, MathML, and XSL. In: ACM SIGSAM Bulletin, June 2000, vol. 34(2), pp. 6–11 (2000), ISSN:0163-5824

    Google Scholar 

  2. Kohlhase, M.: OMDoc an open markup format for mathematical documents (version 1.2). Manuscript (2004), http://www.mathweb.org/omdoc/

  3. 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. Libbrecht, P., Winterstein, S.: internationalizing leactivemath. Technical report, LeActiveMath consortium (2005), http://www.leactivemath.org

  5. 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. 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. 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 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Manzoor, S., Libbrecht, P., Ullrich, C., Melis, E. (2006). Authoring Presentation for openmath . In: Kohlhase, M. (eds) Mathematical Knowledge Management. MKM 2005. Lecture Notes in Computer Science(), vol 3863. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11618027_3

Download citation

  • DOI: https://doi.org/10.1007/11618027_3

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-31430-1

  • Online ISBN: 978-3-540-31431-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics