Functional Programming; Computer Algebra Systems; Knowledge Based Systems; Information Retrieval; Semantic Technologies.