Skip to main content
SpringerLink
Log in
Book cover

International Conference on Mathematical Knowledge Management

MKM 2003: Mathematical Knowledge Management pp 80–92Cite as

Problems and Solutions for Markup for Mathematical Examples and Exercises

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2594))

Abstract

This paper reports some deficiencies of the current status of the markup for mathematical documents, OMDoc, and proposes extensions. The observations described arose from trying to represent mathematical knowledge with the goal to present it according to several well-established teaching strategies for mathematics through the learning environment ActiveMath. The main concern here is with examples, exercises, and proofs.

This work has been funded by a project funded by the German Ministry for Education and Reseach (BMBF) and by the EU-project MoWGLI

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

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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. S. Ainsworth, D. Clarke, and R. Gaizaukas. Using edit distances algorithms to compare alternative approaches to ITS authoring. In S.A. Cerri, G. Gouarderes, and F. Paraguacu, editors, Intelligent Tutoring Systems, 6th International Conference, ITS2002, volume 2363 of LNCS, pages 873–882. Springer-Verlag, 2002.

    MATH  Google Scholar 

  2. S. Bennett, S. McRobb, R. Farmer, Object-Oriented Systems Analysis and Design using UML, McGraw Hill, 1999

    Google Scholar 

  3. K. G. Binmore, Mathematical Analysis: a straightforward approach, second edition, Cambridge University Press, 1982

    Google Scholar 

  4. B. Bollobás, Linear Analysis: an introductory course, Cambridge University Press, 1990

    Google Scholar 

  5. J. Büdenbender, E. Andres, Adrian Frischauf, G. Goguadze, P. Libbrecht, E. Melis, and C. Ullrich. Using computer algebra systems as cognitive tools. In S.A. Cerri, G. Gouarderes, and F. Paraguacu, editors, 6th International Conference on Intelligent Tutor Systems (ITS-2002), 2363 Lecture Notes in Computer Science, pages 802–810. Springer-Verlag, 2002.

    MATH  Google Scholar 

  6. O. Caprotti and A. M. Cohen. Draft of the open math standard, Open Math Consortium, http://www.nag.co.uk/projects/OpenMath/omstd/, 1998.

  7. P. Cairns, J. Gow, On Dynamically Presenting A Topology Course, Submitted to Annals of Mathematics and Artificial Intelligence (Special issue on Mathematical Knowledge Management) http://www.uclic.ucl.ac.uk/topology/

  8. D. Carlisle, P. Ion, R. Miner, and N. Poppelier. Mathematical markup language, version 2.0, 2001. http://www.w3.org/TR/MathML2/.

  9. A. Cohen, H. Cuypers, and H. Sterk. Algebra Interactive! Springer-Verlag, 1999.

    Google Scholar 

  10. B.I. Dahn and H. Wolter. Analysis Individuell, Springer-Verlag, 2000.

    Google Scholar 

  11. J. Harrison, Formalized Mathematics, Math. Universalis, 2, 1996

    Google Scholar 

  12. I. N. Herstein, Topics in Algebra, second edition, Wiley, 1975

    Google Scholar 

  13. M. Kohlhase, OMDoc: Towards an OpenMath Representation of Mathematical Documents, Seki Report, FR Informatik, Universität des Saarlandes, 2000.

    Google Scholar 

  14. L. Lamport, How to write a proof, American Mathematical Monthly, 102(7) p600–608, 1994

    Article  Google Scholar 

  15. E. Melis, U. Leron A Proof Presentation Suitable for Teaching Proofs, 9th International Conference on Artificial Intelligence in Education, pages 483–490, 1999.

    Google Scholar 

  16. E. Melis, J. Büdenbender, E. Andres, Adrian Frischauf, G. Goguadze, P. Libbrecht, M. Pollet, and C. Ullrich. Activemath: A generic and adaptive web-based learning environment, Artificial Intelligence and Education, 12(4), 2001.

    Google Scholar 

  17. A. O. Morris, Linear Algebra: an introduction, second edition, van Nostrand Reinhold, 1982

    Google Scholar 

  18. A. Schwarz, M. Voss, Universität des Saarlandes, Multimedia im Mathematik-Unterricht, Copyright ATMedia GmbH, 1998,1999

    Google Scholar 

  19. S. Willard, General Topology, Addison Wesley, 1970

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. DFKI Saarbrücken, D-66123, Saarbrücken, Germany

    Georgi Goguadze, Erica Melis & Carsten Ullrich

  2. UCL Interaction Centre, University College London, 26 Bedford Way, London WC1H OAP, UK

    Paul Cairns

Authors
  1. Georgi Goguadze
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Erica Melis
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Carsten Ullrich
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Paul Cairns
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, University of Bologna, Mura Anteo Zamboni, 7, 40127, Bologna, Italy

    Andrea Asperti

  2. Research Institute for Symbolic Computation, Johannes Kepler University, 4232 Castle of Hagenberg, Austria

    Bruno Buchberger

  3. Departments of Mathematical Sciences and Computer Science, University of Bath, BA2 7AY, Bath, England

    James Harold Davenport

Rights and permissions

Reprints and permissions

Copyright information

© 2003 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Goguadze, G., Melis, E., Ullrich, C., Cairns, P. (2003). Problems and Solutions for Markup for Mathematical Examples and Exercises. In: Asperti, A., Buchberger, B., Davenport, J.H. (eds) Mathematical Knowledge Management. MKM 2003. Lecture Notes in Computer Science, vol 2594. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-36469-2_7

Download citation

  • DOI: https://doi.org/10.1007/3-540-36469-2_7

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-36469-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation