A semantic wiki for mathematical knowledge management

From WikiPapers
Jump to: navigation, search

A semantic wiki for mathematical knowledge management is a 2006 conference paper written in English by Lange C., Kohlhase M. and published in CEUR Workshop Proceedings.

[edit] Abstract

We propose the architecture of a semantic wiki for collaboratively building, editing and browsing a mathematical knowledge base. Its hyperlinked pages, containing mathematical theories, are stored as OMDoc, a markup format for mathematical knowledge representation. Our long-term objective is to develop a software that, on the one hand, facilitates the creation of a shared, public collection of mathematical knowledge (e.g. for education). On the other hand the software shall serve work groups of mathematicians as a tool for collaborative development of new theories.

[edit] References

This section requires expansion. Please, help!

Cited by

Probably, this publication is cited by others, but there are no articles available for them in WikiPapers.