Searching Mathematics on the Web: State of the Art and Future Developments
Andrea Asperti, Stefano Zacchiroli · 2005
Abstract. A huge amount of mathematical knowledge is nowadays available on the World Wide Web. Many different solutions and technologies for searching that knowledge have been developed as well. We present the state of the art of searching mathematics on the web, giving some insight on future developments in this area. 1.