Sciweavers

2741 search results - page 6 / 549
» Engineering Mathematical Knowledge
Sort
View
MKM
2005
Springer
14 years 2 months ago
An Exploration in the Space of Mathematical Knowledge
Abstract. Although knowledge is a central topic for MKM there is little explicit discussion on what ‘knowledge’ might actually be. There are specific intuitions about form and...
Andrea Kohlhase, Michael Kohlhase
CORR
2010
Springer
196views Education» more  CORR 2010»
13 years 8 months ago
SWiM -- A Semantic Wiki for Mathematical Knowledge Management
Abstract. SWiM is a semantic wiki for collaboratively building, editing and browsing mathematical knowledge represented in the domainspecific structural semantic markup language OM...
Christoph Lange 0002
MKM
2009
Springer
14 years 3 months ago
A Review of Mathematical Knowledge Management
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 ...
Jacques Carette, William M. Farmer
LWA
2008
13 years 10 months ago
Arguing on Issues with Mathematical Knowledge Items in a Semantic Wiki
In informal collections of collaboratively created knowledge like wikis, there is no well-defined way of reporting issues with knowledge items. When something is wrong or needs im...
Christoph Lange 0002, Tuukka Hastrup, Stephane Cor...
MKM
2005
Springer
14 years 2 months ago
Translating Mathematical Vernacular into Knowledge Repositories
Abstract. Defining functions is a major topic when building mathematical repositories. Though relatively easy in mathematical vernacular, function definitions rise a number of qu...
Adam Grabowski, Christoph Schwarzweller