Skip to main content
SpringerLink
Log in
Book cover

International Conference on Mechatronics

ICM 2002: Electronic Information and Communication in Mathematics pp 29–43Cite as

Management of Informal Mathematical Knowledge – Lessons Learned from the Trial-Solution Project

  • Conference paper

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

Abstract

Most mathematical knowledge is not formalized. It exists in the form of textbooks, articles and lecture scripts. We discuss a way to make this knowledge nevertheless usable for automated knowledge management services. Our approach is based on Slicing Book Technology. We describe this approach and summarize the experience gained during its implementation in the European project Trial-Solution.

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. Baumgartner, P., Furbach, U.: Automated Deduction Techniques for the Management of Personalized Documents. Ann. Math. Art. Int. – Special Issue on Mathematical Knowledge Management. Kluwer (2002) (to appear)

    Google Scholar 

  2. Dahn, I.: Symbiose von Buch und Internet. In: Proc. Learntec 2000, Karlsruhe, pp. 551–558 (2000)

    Google Scholar 

  3. Dahn, I.: Automatic Texbook Construction and Web Delivery in the 21st Century. J. of Structural Learning and Intelligent Systems 14(4), 401–413 (2001)

    MathSciNet  Google Scholar 

  4. Dahn, I.: Using Networks for Advanced Personalisation of Documents. In: Proc. SSGRR 2001, CD-ROM Edition, L’Aquila (2001)

    Google Scholar 

  5. Jensen, M.: Academic Press Gives Away Its Secret of Success. The Chronicle of Higher Education, September 14 (2001)

    Google Scholar 

  6. Metadata for Advanced Structures of Learning Objects in Mathematics – An Approach for Trial-Solution. Trial-Solution internal Report (2001)

    Google Scholar 

  7. Wolter, H., Dahn, I.: Analysis Individuell. Springer, Heidelberg (2000)

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University Koblenz-Landau,  

    Ingo Dahn

Authors
  1. Ingo Dahn
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Mathematical Science, Tsinghua University, P.O. Box, Beijing, P.R. China

    Fengshan Bai

  2. Mathematisches Institut, TU Berlin, P.O. Box

    Bernd Wegner

Rights and permissions

Reprints and permissions

Copyright information

© 2003 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Dahn, I. (2003). Management of Informal Mathematical Knowledge – Lessons Learned from the Trial-Solution Project. In: Bai, F., Wegner, B. (eds) Electronic Information and Communication in Mathematics. ICM 2002. Lecture Notes in Computer Science, vol 2730. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-45155-6_4

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-45155-6_4

  • Publisher Name: Springer, Berlin, Heidelberg

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

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation