Roles of Math Search in Mathematics

Invited Talk by Abdou Youssef, George Washington University at MKM 2006

Math search capabilities are expected to be widely available in the near future. A key question is what roles can or should math search play in mathematics. Besides the fundamental role of finding information, it will be argued in this talk that math search can help advance and manage mathematical knowledge. After presenting and demonstrating some of the state-of-the-art features of math search, we will focus on how math search can help mathematicians advance and manage MK, and discuss the steps that will have to be taken to fulfill those roles. In particular, two areas will be emphasized. The first is the use of math search for discovering similarities and associations between mathematical patterns/structures, and the application of that to helping mathematicians with proof development and with the reduction of new problems to known problems. The second is math metadata, which math search will surely encourage and benefit from, and which will be pivotal to mathematical knowledge management.

Maintained by: Dr Andrew A. Adams (Conference Chair)
Last modified: Mon Mar 13 16:04:07 GMT 2006