652 search results - page 2 / 131 » Mathematical knowledge management is needed |
CORR
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. SWiM is a semantic wiki for collaboratively building, editing and browsing mathematical knowledge represented in the domainspecific structural semantic markup language OM...
MKM
2009
Springer
13 years 12 months ago
2009
Springer
Mathematical Knowledge Management (MKM), as a field, has seen tremendous growth in the last few years. This period was one where many research threads were started and the field ...
MKM
2005
Springer
13 years 10 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...
MKM
2005
Springer
13 years 10 months ago
2005
Springer
In this contribution we address two related questions. Firstly, we want to shed light on the question how to use a representation formalism to represent a given problem. Secondly, ...
ESWS
2008
Springer
13 years 7 months ago
2008
Springer
