To be precise, AM is related to so-called 'computer mathematics'. In this project, we do not aim at modelling mathematics for theorem provers or similar things. Our applications (e.g. keyword-based formula search, education, information extraction) are introduced in the papers.