ActiveMath: semantic-powered learning on the Web
Abstract:
ActiveMath is an intelligent learning environment on the Web.
ActiveMath supports the learner by modelling its competencies following her actions
and provides intelligent selection and advise of content-items to achieve learning goals.
It uses the semantics of the OpenMath and OMDoc languages
to provide high-quality Web presentations of mathematical documents,
search for text and mathematical objects, copy and paste of formulae,
and interactive exercises with learner inputs evaluated
by classical computer algebra systems.
This demo will focus on the drag-and-drop paradigm within ActiveMath
and the search tool.