Immanuel Normann: Publications

(please respect possibly existing copyrights when copying)

Mathematical Information Retrieval Powered by Theory Management. Jacobs University Bremen, Germany, 2004. [ps]
Normalization for E-Retrieval of Formulae. Communicating Mathematics in Digital Era, CMDE 2006 August 15-18, 2006. Aveiro, Portugal
Enhanced Theorem Reuse by Partial Theory Inclusions. 8th International Conference on Artificial Intelligence and Symbolic Computation, September 20-22, 2006. Beijing
Extended Normalization for E-Retrieval and Sharing of Mathematical Knowledge. 6th International Conference on Mathematical Knowledge Management, MKM 2007 June 27-30, 2007. RISC, Hagenburg, Austria.