SIGIR '93 Proceedings of the 16th annual international ACM SIGIR conference on Research and development in information retrieval
interactions
interactions
Technical Aspects of the Digital Library of Mathematical Functions
Annals of Mathematics and Artificial Intelligence
MathFind: a math-aware search engine
SIGIR '06 Proceedings of the 29th annual international ACM SIGIR conference on Research and development in information retrieval
OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2]: Foreword by Alan Bundy (Lecture Notes in Computer Science)
Methods to access and retrieve mathematical content in ACTIVEMATH
ICMS'06 Proceedings of the Second international conference on Mathematical Software
A search engine for mathematical formulae
AISC'06 Proceedings of the 8th international conference on Artificial Intelligence and Symbolic Computation
A lattice-based approach for mathematical search using Formal Concept Analysis
Expert Systems with Applications: An International Journal
MathWebSearch 0.5: scaling an open formula search engine
CICM'12 Proceedings of the 11th international conference on Intelligent Computer Mathematics
A math-aware search engine for math question answering system
Proceedings of the 21st ACM international conference on Information and knowledge management
| Hi-index | 0.00 |
The interest of the field of Mathematical Knowledge Management is predicated on the assumption that by investing into markup or formalization of mathematical knowledge, we can reap benefits in managing (creating, classifying, reusing, verifying, and finding) mathematical theories, statements, and objects. This global value proposition has been used to motivate the pursuit of technologies that can add machine support to these knowledge management tasks. But this (rather naive) technology-centered motivation takes a view merely from the global (macro) perspective, and almost totally disregards the user's point of view and motivations for using it, the local (micro) perspective.In this paper we go a first step into a more principled analysis of the MKM value proposition by focusing on motivations for mathematical search engines from the micro perspective. We will use a table-based method called the "Added-Value Analysis" (AVA) developed by one of the authors. Even though we apply the AVA only to mathematical search engines, the method quickly leads to value considerations that are relevant for the whole field of MKM.