Towards Semantic Markup of Mathematical Documents via User Interaction

Open in new window