In this article we describe the data model of the MBase system, a webbased,

Within the LeActiveMath project, a collection of OMDoc files and supporting material has been realized. This content covers the derivative side of calculus and is being used by students in the LeActiveMath learning environment. LeAM-calculus is the first collection trying to make use of most of the features of the learning environment including advanced usages of OpenMath and OMDoc. It has been written in OQMath, a readable xml-syntax. This paper describes the tools to produce it, how they were used and combined, the resulting content and the experience gained. It argues that the declaration of new OpenMath symbols is a requirement and explains challenges of authoring semantic mathematical content. Finally, it presents the management activities to support the authoring process.

Mathematical Services . . . . . . . . . . . . . . . . . . . 10 2.3.2 Autonomy and Decentralization . . . . . . . . . . . . . . . . . . . 11 2.3.3 Coordination . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 3 Distributed Articial Intelligence 12 3.1 Agent-Oriented Programming . . . . . . . . . . . . . . . . . . . . . . . . 12 3.2 The Knowledge Query and Manipulation Language . . . . . . . . . . . . 13 3.3 Coordination in Multi-Agent Systems . . . . . . . . . . . . . . . . . . . 13 4 Agent Technology for Distributed Mathematical Reasoning 15 4.1 MathWeb Agents . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16 4.2 Communication between MathWeb agents . . . . . . . . . . . . . . . . . 18 4.2.1 Technical Issues . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18 4.2.2 Characterization of Reasoning Capabilities . . . . . . . . . . . . 18 4.2.3 Context in Mathematical Communication . . . . . . . . . . . . . 19 4.3 Coordination of MathWeb Agents . . . . . . . . . . . . . . . . . . . . . 20 5 Summary and Work Plan 22 5.1 Work Plan . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22 1