Usage of Semantic Encoding II
Have the relations between mathematical items be browsable
Display the structure of a formulae (sub-term highlighting)
Allow Copy and Paste into exercise sessions
(demo)
<-
->
ActiveMath: latest development updates
Mathematics on the Semantc Web
Paul Libbrecht