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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
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)
Dahn, I.: Symbiose von Buch und Internet. In: Proc. Learntec 2000, Karlsruhe, pp. 551–558 (2000)
Dahn, I.: Automatic Texbook Construction and Web Delivery in the 21st Century. J. of Structural Learning and Intelligent Systems 14(4), 401–413 (2001)
Dahn, I.: Using Networks for Advanced Personalisation of Documents. In: Proc. SSGRR 2001, CD-ROM Edition, L’Aquila (2001)
Jensen, M.: Academic Press Gives Away Its Secret of Success. The Chronicle of Higher Education, September 14 (2001)
Metadata for Advanced Structures of Learning Objects in Mathematics – An Approach for Trial-Solution. Trial-Solution internal Report (2001)
Wolter, H., Dahn, I.: Analysis Individuell. Springer, Heidelberg (2000)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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