Smart Pasting for ActiveMath Authoring

Abstract:

Authoring mathematical formul? for ActiveMath is a challenge because it requires them to be semantic, along the OpenMath standard and (extensible) set of symbols. The authoring environment of ActiveMath, jEditOQMath eases this by providing a readable linear syntax for formul\ae input based on QMath.\ This paper approaches the support to authors to encode formul\ae by bringing together several types of conversion methods into one \it smart paste approach. Such sources of formul\ae as Wikipedia, and Planet Math are considered and start to work.

Published:

[PDF]LibbrechtAndresGu-SmatPaste-MathUI09.pdf