Engineering Mathematical Knowledge

Abstract. Due to their rapidly increasing amount, maintaining mathematical documents more and more becomes an engineering task. In this paper, we combine the projects MMiSS3 and CDET.4 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.

• Type: Conference
• Year: 2005
• Where: MKM
• Authors: Achim Mahnke, Jan Scheffczyk
• Keywords: Mathematical, Mathematical Knowledge Management, MKM 2005, Semi-formal Consistency Management