View Related Documents

Abstract

In this paper, we propose that the present state of Mathematical Knowledge Management (MKM) derives from two main imperatives: the desire to organize and encapsulate mathematical knowledge after it is produced and the desire to encapsulate the act of production. While progress in digital network technology has facilitated a confluence of these efforts, their original separation imposes an approximate rubric on MKM which may be used to help define the challenges facing the field. We propose that one of the main challenges lies in the question of fixed versus flexible ontologies and the related question of ontology resolution between applications. Finally, we describe Emkara, an application which adopts a flexible metadata definition in the archiving and retrieval of digital mathematical exchanges, queries, and grey literature.
The former presentation was by Dr. Jonathan Borwein and the latter by Dr. Bruno Buchberger. (Proceedings of the First International Workshop on Mathematical Knowledge Management)

Fulltext Preview

Image of the first page of the fulltext document