Mathematical knowledge management (MKM) is the study of how society can effectively make use of the vast and growing literature on mathematics. Itâ€¦Â (More)

Semantic Scholar uses AI to extract papers important to this topic.

2011

2011

- William M. Farmer
- Encyclopedia of Knowledge Management
- 2011

INTRODUCTION Mathematical knowledge is significantly different from other kinds of knowledge. It is abstract, universal, highlyâ€¦Â (More)

Is this relevant?

2011

2011

- JÃ³nathan Heras
- ACM Comm. Computer Algebra
- 2011

The work presented in this thesis tries to particularize Mathematical Knowledge Management to Algebraic Topology. Mathematicalâ€¦Â (More)

Is this relevant?

2008

2008

- Christoph Lange
- ESWC
- 2008

SWIM is a semantic wiki for collaboratively building, editing and browsing mathematical knowledge represented in the structuralâ€¦Â (More)

Is this relevant?

2006

2006

- Christoph Lange, Michael Kohlhase
- SemWiki
- 2006

We propose the architecture of a semantic wiki for collaboratively building, editing and browsing a mathematical knowledge baseâ€¦Â (More)

Is this relevant?

2005

2005

- Manfred Kerber, Martin Pollet
- MKM
- 2005

In this contribution we address two related questions. Firstly, we want to shed light on the question how to use a representationâ€¦Â (More)

Is this relevant?

2004

2004

- Michiel Hazewinkel
- ArXiv
- 2004

In this lecture I discuss some aspects of MKM, Mathematical Knowledge Management, with particuar emphasis on information storageâ€¦Â (More)

Is this relevant?

2004

2004

In this paper we identify the organizational problems of Mathematical Knowledge Management and describe tools that address one ofâ€¦Â (More)

Is this relevant?

2003

2003

- Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, Ferruccio Guidi, Irene Schena
- Annals of Mathematics and Artificial Intelligence
- 2003

The paper describes the general philosophy and the main architectural and technological solutions adopted in the HELM Project forâ€¦Â (More)

Is this relevant?

Review

2003

Review

2003

- Gerhard Goos, Juris Hartmanis, +4 authors Andrzej Trybulec
- Lecture Notes in Computer Science
- 2003

We present an overview of the current situation and recent and expected future developments in areas of copyright law andâ€¦Â (More)

Is this relevant?

2001

2001

- Bruno Buchberger
- 2001

We describe tools available and planned in the Theorema system for supporting the key issues of mathematical knowledge managementâ€¦Â (More)

Is this relevant?