A semantic wiki for mathematical knowledge management
|A semantic wiki for mathematical knowledge management|
|Author(s)||Lange C., Kohlhase M.|
|Published in||CEUR Workshop Proceedings|
|Keyword(s)||Unknown (Extra: Collaborative development, Mathematical knowledge, Mathematical knowledge management, Mathematical theory, New theory, Semantic wiki, Workgroups, Group theory, Knowledge based systems, Knowledge management, Knowledge representation, Mathematical techniques, Websites, Semantics)|
|Article||BASE, CiteSeerX, Google Scholar|
|Web||Ask, Bing, Google (PDF), Yahoo!|
|Download and mirrors|
|Local copy||Not available|
|Remote mirror(s)||Not available|
|Export and share|
|BibTeX, CSV, RDF, JSON|
|Browse properties · List of conference papers|
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.
- This section requires expansion. Please, help!
Probably, this publication is cited by others, but there are no articles available for them in WikiPapers.