Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
2005 | 10.1007/11618027_17 | MKM |
Keywords | Field | DocType |
mathematical knowledge management,mathematical construct,mathematical content,change management,broader context,semi-formal consistency management,engineering mathematical knowledge,engineering task,configuration management,user-defined consistency requirement,mathematical document,version control | Change management,Software engineering,Computer science,Automated theorem proving,Mathematical knowledge management,Knowledge management,Theoretical computer science,Knowledge engineering,Configuration management,User requirements document,Semantics,Consistency management | Conference |
Volume | ISSN | ISBN |
3863 | 0302-9743 | 3-540-31430-X |
Citations | PageRank | References |
1 | 0.43 | 16 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Achim Mahnke | 1 | 23 | 3.47 |
Jan Scheffczyk | 2 | 89 | 7.26 |