Mathematical knowledge management

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

Topic mentions per year

Topic mentions per year

1968-2017
0519682017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
INTRODUCTION Mathematical knowledge is significantly different from other kinds of knowledge. It is abstract, universal, highly… (More)
Is this relevant?
2011
2011
The work presented in this thesis tries to particularize Mathematical Knowledge Management to Algebraic Topology. Mathematical… (More)
Is this relevant?
2008
2008
SWIM is a semantic wiki for collaboratively building, editing and browsing mathematical knowledge represented in the structural… (More)
  • figure 1
Is this relevant?
2006
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
In this contribution we address two related questions. Firstly, we want to shed light on the question how to use a representation… (More)
  • figure 1
  • figure 2
  • figure 4
Is this relevant?
2004
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)
  • figure 1
  • figure 2
Is this relevant?
2003
2003
The paper describes the general philosophy and the main architectural and technological solutions adopted in the HELM Project for… (More)
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Review
2003
Review
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
We describe tools available and planned in the Theorema system for supporting the key issues of mathematical knowledge management… (More)
Is this relevant?