KnowledgeBase » 
SEMINAR
» ID = 603
Enhancing the search of mathematics & Hot topics in mathematical search
by Lori Lorigo
2003-2004
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.