Abstract
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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Beyer, H., Holtzblatt, K.: Contextual Design. ACM interactions 6(1), 32–42 (1999)
de Chernatony, L., Harris, F., Riley, F.D.: Added value: Its nature, roles and sustainability. European Journal of marketing 34(1/2), 39–56 (2000)
Farmer, W.M.: Mathematical Knowledge Management. In: Schwartz, D.G.(ed.) Mathematical Knowledge Management, pp. 599–604. Idea Group Reference (2005)
Friedman, B.: Value-Sensitive Design. interactions, ACM, pp. 16–23 (November and December 1996)
Grönross, C.: Value-driven relational marketing: from products to resources and competencies. Journal of Marketing Management 13, 407–419 (1997)
Kohlhase, A., Kohlhase, M.: CPoint. In: Asperti, A., Bancerek, G., Trybulec, A. (eds.) MKM 2004. LNCS, vol. 3119, pp. 175–189. Springer, Heidelberg (2004)
Kohlhase, A., Müller, N.: Added-Value: Getting People into Semantic Work Environments (submitted, 2007)
Kohlhase, A. (2005), http://kwarc.eecs.iu-bremen.de/projects/CPoint/
Kohlhase, A.: Overcoming Proprietary Hurdles: CPoint as Invasive Editor. In: de Vries, F., Attwell, G., Elferink, R., Tödt, A. (eds.) Open Source for Education in Europe: Research and Practise, pp. 51–56. Open Universiteit of the Netherlands, Heerlen (2005)
Kohlhase, A.: The User as Prisoner: How the Dilemma Might Dissolve. In: Memmel, M., Ras, E., Weibelzahl, S.(eds.) 2nd Workshop on Learner Oriented Knowledge Management & KM Oriented e-Learning. pp. 26–31 (2006), Online Proceedings at http://cnm.open.ac.uk/projects/ectel06/pdfs/ECTEL06WS68d.pdf
Kohlhase, M.: OMDoc – An Open Markup Format for Mathematical Documents [version 1.2]. LNCS (LNAI), vol. 4180. Springer, Heidelberg (2006)
Kohlhase, M.: stex: Semantic markup in TEX / LATEX Self-documenting LATEX pacakge (2006) available at https://svn.kwarc.info/repos/stex/sty/stex.pdf
Kohlhase, M., Şucan, I.: A search engine for mathematical formulae. In: Calmet, J., Ida, T., Wang, D. (eds.) AISC 2006. LNCS (LNAI), vol. 4120, pp. 241–253. Springer, Heidelberg (2006)
Kohlhase, M., Şucan, I.: System Description: MathWebSearch 0.3, A Semantic Search Engine. submitted to CADE 21 (2007)
Libbrecht, P., Melis, E.: Methods for Access and Retrieval of Mathematical Content in ActiveMath. In: Iglesias, A., Takayama, N. (eds.) ICMS 2006. LNCS, vol. 4151, Springer, Heidelberg (2006), http://www.activemath.org/publications/Libbrecht-Melis-Access-and-Retrieval-ActiveMath-ICMS-2006.pdf
Mathdex (seen March 2007), web page at http://www.mathdex.com
Math Web Search (seen April 2007), web page at http://kwarc.info/projects/mws/
Math Web Search Plugin. (seen April 2007), http://kwarc.info/projects/mws/plugin.html
Munavalli, R., Miner, R.: MathFind: a Math-Aware Search Engine. In: SIGIR 2006. Proceedings of the 29th annual international ACM SIGIR conference on Research and development in information retrieval, pp. 735–735. ACM Press, New York (2006)
Miller, B.R., Youssef, A.: Technical Aspects of the Digital Library of Mathematical Functions. Annals of Mathematics and Artificial Intelligence 38(1-3), 121–136 (2003)
Normann, R., Ramirez, R.: Designing Interactive Strategy. From Value Chain to Value Constellation. Wiley and Sons, Chichester (1998)
Oulasvirta, A.: Finding Meaningful Uses for Context-Aware Technologies: The Humanistic Research Strategy. In: Late Breaking Result Papers (April 2004) ISBN 1-58113-703-6
Qiu, Y., Frei, H.-P.: Concept based query expansion. In: Korfhage, R., Rasmussen, E.M., Willett, P. (eds.). Proceedings of the 16th Annual International ACM-SIGIR Conference on Research and Development in Information Retrieval, pp. 160–169. ACM, New York (1993)
Smirnova, E., So, C., Watt, S., Xie, X.: Components for pen-based mathematical interfaces. In: ACA 2005 Special Session on Pen-Based Mathematical Computing (2005)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kohlhase, A., Kohlhase, M. (2007). Reexamining the MKM Value Proposition: From Math Web Search to Math Web ReSearch. In: Kauers, M., Kerber, M., Miner, R., Windsteiger, W. (eds) Towards Mechanized Mathematical Assistants. MKM Calculemus 2007 2007. Lecture Notes in Computer Science(), vol 4573. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-73086-6_25
Download citation
DOI: https://doi.org/10.1007/978-3-540-73086-6_25
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-73083-5
Online ISBN: 978-3-540-73086-6
eBook Packages: Computer ScienceComputer Science (R0)