Drag-and-drop of Formulae from a Browser

Abstract:

Formulæ in a semantic source such as OpenMath [2] can be presented in web-browsers with the benefit of features that can help in reading and understanding them. Important aspects include the rendering quality as well as tooltips to indicate the semantics of presented symbols. Within the ActiveMath learning environment we have added another feature: the ability to drag-and-drop terms from presented formulæ into formula-input places such as the exercise formula editor, the function plotter, or to the external world. This drag-and-drop is initiated using a contextual-menu which comes up by clicking on a presented term. We describe the user-interface limitations that have lead us to require these extra interactions instead of relying on the simple copy-and-paste paradigm. We explain how the current mechanism works and sketch how ActiveMath could collaborate with external receiving applications.

[PDF]LibbrechtJednoralski-DnDFormulae-MathUI06.pdf