Management of Informal Mathematical Knowledge – Lessons Learned from the Trial-Solution Project
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.
- [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
- [Da00]Dahn, I.: Symbiose von Buch und Internet. In: Proc. Learntec 2000, Karlsruhe, pp. 551–558 (2000)Google Scholar
- [Da01a]Dahn, I.: Using Networks for Advanced Personalisation of Documents. In: Proc. SSGRR 2001, CD-ROM Edition, L’Aquila (2001)Google Scholar
- [JE01]Jensen, M.: Academic Press Gives Away Its Secret of Success. The Chronicle of Higher Education, September 14 (2001)Google Scholar
- [LW01]Metadata for Advanced Structures of Learning Objects in Mathematics – An Approach for Trial-Solution. Trial-Solution internal Report (2001)Google Scholar