Roles of Math Search in Mathematics

  • Abdou Youssef
Conference paper

DOI: 10.1007/11812289_2

Part of the Lecture Notes in Computer Science book series (LNCS, volume 4108)
Cite this paper as:
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

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Abdou Youssef
    • 1
  1. 1.Department of Computer ScienceThe George Washington UniversityWashington DCUSA

Personalised recommendations