Sciweavers

MKM
2005
Springer
14 years 6 months ago
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 CD...
Achim Mahnke, Jan Scheffczyk