Towards Collaborative Content Management and Version Control for Structured Mathematical Knowledge

Kohlhase, Michael; Anghelache, Romeo

doi:10.1007/3-540-36469-2_12

Cited by 11 publications

(3 citation statements)

References 10 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Version control system for documents can be used to keep track of dates of multiple submissions of the same document. In addition to automatic checking, members can be encouraged by community managers to periodically review their submissions to the KMS and make sure that they are current and delete the obsolete, inconsistent entries (Damodaran & Olphert, 2000;Kohlhase & Anghelache, 2004).…”

Section: Say You Have Someone On the Exxonmobil Team And They Need To...mentioning

confidence: 99%

A Proposed Framework for Designing Sustainable Communities for Knowledge Management Systems

Goel

Mousavidin

2008

International Journal of Knowledge Management

View full text Add to dashboard Cite

Despite considerable academic and practitioner interest in knowledge management, success of knowledge management systems is elusive. This chapter provides a framework which suggests that KM success can be achieved by designing sustainable communities of practice. Communities of practice have proven to have significant economic and practical implications on organizational practices. A growing body of literature in KM recognizes the importance of communities that foster collaborative learning in organizations and almost all KMS have a 'network' component that facilitates connecting people in communities of practice. Evidence has shown that communities have been a key element in KMS of many companies including Xerox

show abstract

Section: Say You Have Someone On the Exxonmobil Team And They Need To...mentioning

confidence: 99%

A Proposed Framework for Designing Sustainable Communities for Knowledge Management Systems

Goel

Mousavidin

2008

International Journal of Knowledge Management

View full text Add to dashboard Cite

show abstract

“…Translation between the sources in terms of both logic and language would be useful, but appropriate services would be needed to do the translation. These present a further set of MKM tools necessary for good mathematical assistance [25].…”

Section: Some Issues Raised By the Scenariomentioning

confidence: 99%

Integrating Searching and Authoring in Mizar

Cairns

Gow

2007

J Autom Reasoning

View full text Add to dashboard Cite

The vision of a computerized assistant to mathematicians has existed since the inception of theorem-proving systems. The Alcor system has been designed to investigate and explore how a mathematician might interact with such an assistant by providing an interface to Mizar and the Mizar Mathematical Library. Our current research focuses on the integration of searching and authoring while proving. In this paper we use a scenario to elaborate on the nature of the interaction. We abstract from the scenario two distinct styles of searching and describe how the Alcor interface implements these with a keyword and LSI-based search. Though Alcor is still in its early stages of development, there are clear implications for the general problem of integrating searching and authoring, as well as technical issues with Mizar.

show abstract

“…Furthermore, we have to take stock of the various (sub)-relations of the substance equivalences. In [KA03], we have studied how (rather low-level, technical) substance equivalences interact with distribution and versioning of mathematical knowledge and documents. We will have to extend this to the semantic substance equivalences discussed here; [Hut04] goes first steps into this direction.…”

Section: Mks and Narrativesmentioning

confidence: 99%

An Exploration in the Space of Mathematical Knowledge

Kohlhase

2006

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Cite

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 content of knowledge, about its structure, and epistemological nature that shape the MKM systems, but a conceptual model is missing. In this paper we try to rationalize this discussion to give MKM a firmer footing, to start a discussion among MKM researchers and help relate the MKM intuitions and discourses to other communities. Starting from the observation that many concrete realizations of mathematical knowledge objects are considered equivalent, we propose a conceptual model of the space of (mathematical) knowledge objects graded by levels of abstraction and presentational explicitness and draw conclusions for MKM markup formats.

show abstract

Towards Collaborative Content Management and Version Control for Structured Mathematical Knowledge

Cited by 11 publications

References 10 publications

A Proposed Framework for Designing Sustainable Communities for Knowledge Management Systems

A Proposed Framework for Designing Sustainable Communities for Knowledge Management Systems

Integrating Searching and Authoring in Mizar

An Exploration in the Space of Mathematical Knowledge

Contact Info

Product

Resources

About