SWiM – A Semantic Wiki for Mathematical Knowledge Management

user warning: Table './jem/sessions' is marked as crashed and should be repaired query: SELECT COUNT(sid) AS count FROM sessions WHERE timestamp >= 1231490558 AND uid = 0 in /var/www/net.jem-thematic/site/includes/database.mysql.inc on line 174.
user warning: Table './jem/sessions' is marked as crashed and should be repaired query: SELECT DISTINCT u.uid, u.name, s.timestamp FROM users u INNER JOIN sessions s ON u.uid = s.uid WHERE s.timestamp >= 1231490558 AND s.uid > 0 ORDER BY s.timestamp DESC in /var/www/net.jem-thematic/site/includes/database.mysql.inc on line 174.

SWiM is a semantic wiki for collaboratively building, editing and browsing mathematical knowledge represented in the domain-speciﬁc structural semantic markup language OMDoc. It motivates users to contribute to collections of mathematical knowledge by instantly sharing the beneﬁts of knowledge-powered services with them. SWiM is currently being used for authoring content dictionaries, i. e. collections of uniquely identiﬁed mathematical symbols, and prepared for managing a large-scale proof formalisation eﬀort.

Publication_details:

European Semantic Web Conference, Demo track; June 2008; Proceedings editors: Sean Bechhofer, Manfred Hauswirth, Jörg Hoffmann, Manolis Koubarakis; Lecture Notes in Computer Science, Springer

Author(s):

Christoph Lange

Nature:

Conference paper

Date:

2008/06/03

URL:

http://www.springerlink.com/content/m644176548m673q8/

Partner_node:

Jacobs University