110
click to vote
MKM
2005
Springer
15 years 8 months ago
2005
Springer
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 CD...