Up to now, we have been mainly concerned with providing elements for marking up the inherent structure of mathematical knowledge in mathematical statements and theories. Now, we interface
documents with the Internet in general and mathematical software systems in particular. We can thereby generate presentations from
documents where formulae, statements or even theories that are active components that can directly be manipulated by the user or mathematical software systems. We call these documents
. For this we have to solve two problems: an abstract interface for calls to external (web) services and a way of storing application-specific data in
documents (e.g. as arguments to the system calls).
The module EXT provides a basic infrastructure for these tasks in
. The main purpose of this module is to serve as an initial point of entry. We envision that over time, more sophisticated replacements will be developed driven by applications.