Abstract

After an introduction about why studying search in mathematics is interesting and challenging, I review the current progress and interests of the math-search community and then focus on particular efforts I have made for automatically retrieving information from the FDL collection of formal mathematics.