Skip to main content
PRL Project

Enhancing the search of mathematics & Hot topics in mathematical search

by Lori Lorigo

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.