Proceedings of the Second International Conference on Mathematical Knowledge Management
MKM '03 Proceedings of the Second International Conference on Mathematical Knowledge Management
The Development Graph Manager MAYA
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
Towards Collaborative Content Management and Version Control for Structured Mathematical Knowledge
MKM '03 Proceedings of the Second International Conference on Mathematical Knowledge Management
MKM '03 Proceedings of the Second International Conference on Mathematical Knowledge Management
AISC '00 Revised Papers from the International Conference on Artificial Intelligence and Symbolic Computation
Consistency management with repair actions
Proceedings of the 25th International Conference on Software Engineering
Management of Change in Structured Verification
ASE '00 Proceedings of the 15th IEEE international conference on Automated software engineering
Managing inconsistent repositories via prioritized repairs
Proceedings of the 2004 ACM symposium on Document engineering
Mathematical Knowledge Management: Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings (Lecture Notes in Computer Science)
Proceedings of the 2005 ACM symposium on Document engineering
Hi-index | 0.00 |
Due to their rapidly increasing amount, maintaining mathematical documents more and more becomes an engineering task. In this paper, we combine the projects MMISS and CDET. 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.