Interactive Mathematical Documents

This paper deals with our work on interactive mathematical documents. These documents accomodate various sources, users, and mathematical services. Communication of mathematics between these entities is based on the OpenMath standard and Java technology. But, for the management of the communication, more protocols and tools are needed. We describe an architecture that serves as a framework for our work on interactive documents, and we report on what we have implemented so far.

• Type: Conference
• Year: 2006
• Where: AISC
• Authors: Arjeh M. Cohen
• Keywords: AISC 2006, Artificial Intelligence, Interactive Documents, Interactive Mathematical Documents, Mathematical Services