Abstract
Math-aware fine-grain search is expected to be widely available. A key question is what roles it can play in mathematics. It will be argued that, besides finding information, math search can help advance and manage mathematical knowledge. This paper will present the short-term goals and state of the art of math-aware fine-grain search. Afterwards, it will focus on how math search can help advance and manage mathematical knowledge, and discuss what needs to be done to fulfill those roles, emphasizing two key components. The first is similarity search, and how it applies to (1) discovering and drawing upon connections between different fields, and (2) proof development. The second is math metadata, which math search will surely encourage and benefit from, and which will be pivotal to mathematical knowledge management.
This work was supported in part by The National Foundation Grant No. 0208818.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
The ActiveMath Project, http://www.mathweb.org/activemath/
MathSciNe. American Mathematical Society (AMS), http://www.ams.org/mathscinet
Asperti, A., et al.: Mathematical Knowledge Management in HELM [Italy]. In: First International Workshop on Mathematical Knowledge Management, Schloss Hagenberg, Austria, September 24-26 (2001)
Benzmüller, C., et al.: Ω: Towards a Mathematical Assistant. In: Conference on Automated Deduction (1997)
Buchberger, B.: Mathematical Knowledge Management Using Theorema. In: First International Workshop on Mathematical Knowledge Management, Schloss Hagenberg, Austria, September 24-26 (2001)
Bundy, A.: The Use of Explicit Plans to Guide Inductive Proofs. In: Lusk, E.‘., Overbeek, R. (eds.) CADE 1988. LNCS, vol. 310, pp. 111–120. Springer, Heidelberg (1988)
Bundy, A.: Proof Planning. In: Drabble, B. (ed.) Proceedings of the 3rd International Conference on AI Planning Systems, pp. 261–267 (1996)
Dixon, L., Fleuriot, J.D.: IsaPlanner: A prototype proof planner in Isabelle. In: Baader, F. (ed.) CADE 2003. LNCS (LNAI), vol. 2741, pp. 279–283. Springer, Heidelberg (2003)
Dixon, L., Jamnik, M., Pollet, M.: Proof planning: Comparing Ωmega, λClam and Isa-Planner. In: Bennett, B. (ed.) ARW 11, University of Leeds, School of Computing, 2004. Held in Association with the AISB 2004 Convention, pp. 50–52 (2004)
Einwohner, T.H., Fateman, R.: Searching techniques for integral tables. In: International symposium on Symbolic and algebraic computation, ACM, New York (1995), http://torte.cs.berkeley.edu:8010/tilu
Guidi., F.: Searching and Retrieving in Content-based Repositories of Formal Mathematical Knowledge. Ph.D. Thesis in Computer Science, University of Bologna, March 2003. Technical report UBLCS (2003-06)
Guidi, F., Schena, I.: A Query Language for a Metadata Framework about Mathematical Resources. In: The 2nd International Conf. Mathematical Knowledge Management, Bertinoro, Italy (February 2003)
Hardin, T.: Mathematical Knowledge Management in FOC [France]. In: First International Workshop on Mathematical Knowledge Management, Schloss Hagenberg, Austria, September 24-26 (2001)
An Hypertextual Electronic Library of Mathematics, http://helm.cs.unibo.it/
Jahrbuch Database, http://www.emis.de/MATH/JFM/JFM.html
Kohlhase, M.: MBase: Representing Knowledge and Context for the Integration of Mathematical Software Systems. Journal of Symbolic Computation 23(4), 365–402 (2001)
Leake, D.B., Scherle, R.: Towards Context-Based Search Engine Selection. In: IUI 2001, Santa Fe, New Mexico, USA, January 14-17 (2001)
Lozier, D.W.: The DLMF Project: A New Initiative in Classical Special Functions. In: International Workshop on Special Functions - Asymptotics, Harmonic Analysis and Mathematical Physics, Hong Kong, June 21-25 (1999)
Lozier, D.W., Miller, B.R., Saunders, B.V.: Design of a Digital Mathematical Library for Science, Technology and Education. In: Proceedings of the IEEE Forum on Research and Technology Advances in Digital Libraries; IEEE ADL 1999, Baltimore, Maryland (May 1999)
MathWeb.org, http://www.mathweb.org/
The OpenMath Standard (1998), http://www.openmath.org/
MathML 2.0, a W3C Recommendation (October 2003), http://www.w3.org/Math/
MathDi (Mathematics Didactics Database), http://www.emis.de/MATH/DI/
Mathematics Metadata, http://www.mathmetadata.org/
The MathNet Project, http://www.math-net.de/project/
Melis, E., Siekmann, J.: Knowledge-Based Proof Planning. J. Artificial Intelligence (1999)
Melis, E., Meier, A.: Proof Planning with Multiple Strategies. In: Palamidessi, C., Moniz Pereira, L., Lloyd, J.W., Dahl, V., Furbach, U., Kerber, M., Lau, K.-K., Sagiv, Y., Stuckey, P.J. (eds.) CL 2000. LNCS (LNAI), vol. 1861, Springer, Heidelberg (2000)
Melis, E., et al.: ActiveMath: A Generic and Adaptive Web-Based Learning Environmen. Artifical Intelligence in Education 4(12) (Winter) (2001)
Miller, B., Youssef, A.: Technical Aspects of the Digital Library of Mathematical Functions. Annals of Mathematics and Artificial Intelligence 38, 121–136 (2003)
Mathematical Subject Classification. American Mathematical Society (MSC 2000), http://www.ams.org/msc/
MathWeb.org, http://www.mathweb.org/
The Omega Group, http://www.ags.uni-sb.de/~omega/
Rudnicki, P., Trybulec, A.: Mathematical Knowledge Management in MIZAR. In: First International Workshop on Mathematical Knowledge Management, Schloss Hagenberg, Austria, September 24-26 (2001)
Salton, G., McGill, M.J.: Introduction to Modern Information Retrieval. McGraw Hill, New York (1993)
Saracevic, T.: Relevance: A Review of and a Framework for the Thinking on the Notion. Journal of the American Society of Information Science 26(4), 321–343 (1975)
Theorist Interactive LiveMath, http://www.livemath.com/
Tan, P.-N., Steinbach, M., Kumar, V.: Introduction to Data Mining. Addison-Wesley, Reading (2006)
Baeza-Yates, R., Ribeiro-Neto, B.: Modern information retrieval. Addison-Wesley, Reading (1999)
Youssef, A.: Information Search And Retrieval of Mathematical Contents: Issues And Methods. In: The proceedings of the ISCA 14th International Conference on Intelligent and Adaptive Systems and Software Engineering (IASSE-2005), Toronto, Canada, July 20-22 (2005)
Zentralblatt MATH database at European Mathematical Information Service (EMIS), http://www.emis.de/ZMATH/
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Youssef, A. (2006). Roles of Math Search in Mathematics. In: Borwein, J.M., Farmer, W.M. (eds) Mathematical Knowledge Management. MKM 2006. Lecture Notes in Computer Science(), vol 4108. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11812289_2
Download citation
DOI: https://doi.org/10.1007/11812289_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-37104-5
Online ISBN: 978-3-540-37106-9
eBook Packages: Computer ScienceComputer Science (R0)