KEA - A Knowledge Management System for Mathematics

Information contained in mathematical digital writings creates new challenges for knowledge management systems because automated knowledge extraction from natural language texts is a technical challenge. However, mathematical texts possess a distinctive structure. KEA benefits from this structure, and extracts linguistic relations from texts, creates ontologies, and combines them to a knowledge base. This knowledge base is the core of an enhanced retrieval system. Responses of this system are user-adaptive text-based and visualized. Possible applications are mathematical encyclopaedias, context sensitive library search, intelligent book indexes and e-learning software.