Due to their rapidly increasing amount, maintaining mathematical documents more and more becomes an engineering task. In this paper, we combine the projects MMISS 1 and CDET. 2 That way, we achieve major benefits for mathematical knowledge management: (1) Semantic annotations relate mathematical constructs. This reaches beyond mathematics and thus fosters integration of mathematical content into a broader context. (2) Fine-grained version control enables change management and configuration management. (3) Semi-formal consistency management identifies violations of user-defined consistency requirements and proposes how they can be best resolved. © Springer-Verlag Berlin Heidelberg 2006.
CITATION STYLE
Mahnke, A., & Scheffczyk, J. (2006). Engineering mathematical knowledge. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 3863 LNAI, pp. 250–266). https://doi.org/10.1007/11618027_17
Mendeley helps you to discover research relevant for your work.