[UPDATE] Definitions of some words we will use in our projects, a class diagram for the list of mathematica expressions and a use case diagram of the math part added.