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

  • Ingo Dahn
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2730)


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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [BF02]
    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. [Da00]
    Dahn, I.: Symbiose von Buch und Internet. In: Proc. Learntec 2000, Karlsruhe, pp. 551–558 (2000)Google Scholar
  3. [Da01]
    Dahn, I.: Automatic Texbook Construction and Web Delivery in the 21st Century. J. of Structural Learning and Intelligent Systems 14(4), 401–413 (2001)MathSciNetGoogle Scholar
  4. [Da01a]
    Dahn, I.: Using Networks for Advanced Personalisation of Documents. In: Proc. SSGRR 2001, CD-ROM Edition, L’Aquila (2001)Google Scholar
  5. [JE01]
    Jensen, M.: Academic Press Gives Away Its Secret of Success. The Chronicle of Higher Education, September 14 (2001)Google Scholar
  6. [LW01]
    Metadata for Advanced Structures of Learning Objects in Mathematics – An Approach for Trial-Solution. Trial-Solution internal Report (2001)Google Scholar
  7. [WD00]
    Wolter, H., Dahn, I.: Analysis Individuell. Springer, Heidelberg (2000)zbMATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2003

Authors and Affiliations

  • Ingo Dahn
    • 1
  1. 1.University Koblenz-Landau 

Personalised recommendations