Information Retrieval, Knowledge Management, mathematics, MathML, OpenMath2, pattern matching, RDF2, Semantic Web.