1. Adams, A.A.: Digitisation, representation and formalisation: digital libraries of mathematics. In: [2], pp. 1–16
2. Asperti, A., Buchberger, B., Davenport, J.H. (eds.): Mathematical Knowledge Management, 2nd Int. Conf., MKM 2003. LNCS, vol. 2594. Springer, Berlin (2003)
3. Asperti, A., Bancerek, G., Trybulec, A. (eds.): Mathematical Knowledge Management, 3rd Int. Conf., MKM 2003. LNCS, vol. 3119. Springer, Berlin (2004)
4. Asperti, A., Guidi, F., Coen, C.S., Tassi, E., Zacchiroli, S.: A content based mathematical search engine: Whelp. In: Filliâtre, J., Paulin-Mohring, C., Werner, B. (eds.) Types for Proofs and Programs, International Workshop, TYPES 2004. LNCS, vol. 3839, pp. 17–32. Springer, Berlin (2006)
5. Bancerek, G., Rudnicki, P.: Information retrieval in MML. In: [2], pp. 119–132 (2003)