Interactive geometry inside MathDox

Abstract

In this paper we describe how we envision using interactive geometry inside MathDox pages. In particular, by some examples we discuss how users and mathematical services (offered by various mathematical software packages) can interact with the geometric objects available. This not only includes manipulation of the geometric objects by users but also as a result of computations by computer algebra systems. Furthermore we discuss how manipulation of geometric objects can be used as input for queries to computational services to produce new views on a document. Our approach is based on the OpenMath encoding of geometric objects and the InterGeo file format. The communication between Dynamic Geometry Software (DGS) and a MathDox page is realized by the means of an OpenMath phrasebook implemented in JavaScript