1. •The semantic enrichment is the process of associating semantic tags with mathematical
expressions.
•We use MathML, an application of XML, to describe both the structure and content of
mathematical notations.
•We apply a method based on statistical machine translation to extract translation rules
automatically.
•We also introduce segmentation rules used to segment mathematical expressions.
Combining segmentation rules and translation rules strengthens the translation system
and archives significant improvements over prior rule-based systems.