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.
展开▼
