Skip to main content

Authoring Presentation for openmath

  • Conference paper

Part of the Lecture Notes in Computer Science book series (LNAI,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.

This is a preview of subscription content, access via your institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • DOI: 10.1007/11618027_3
  • Chapter length: 16 pages
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
eBook
USD   39.99
Price excludes VAT (USA)
  • ISBN: 978-3-540-31431-8
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD   54.99
Price excludes VAT (USA)

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)