27 search results - page 5 / 6 » SWiM -- A Semantic Wiki for Mathematical Knowledge Managemen... |
WWW
2010
ACM
13 years 9 months ago
2010
ACM
KiWi is a semantic Wiki that combines the Wiki philosophy of collaborative content creation with the methods of the Semantic Web in order to enable effective knowledge management...
SE
2008
13 years 6 months ago
2008
: One of the main challenges in distributed software development is the elicitation and management of knowledge regarding system requirements. Due to spatial distribution of involv...
JAR
2007
13 years 5 months ago
2007
Matita is a new, document-centric, tactic-based interactive theorem prover. This paper focuses on some of the distinctive features of the user interaction with Matita, characterize...
SKG
2006
IEEE
13 years 11 months ago
2006
IEEE
With the rapid evolution of web technology and Internet, the mathematical web has emerged as a new research trend, which changes the traditional manner of mathematical scientific ...
SIGUCCS
2006
ACM
13 years 11 months ago
2006
ACM
In this paper we present the results of an experiment made with our e-librarian service ”MatES”, an e-Learning tool on fractions in mathematics. MatES allows students to enter...