WIMS
A server for interactive mathematics on the internet

• Introduction

• 1. Basic design principles

• 2. Capabilities of the system

• 3. Interfaces with background programs

• 4. Modules

• 5. Virtual classes

• 6. Security considerations

Abstract

We describe in this paper the project ``WWW Interactive Mathematics Server'', designed for supporting intensive mathematics works via the internet with server-side interactivity, accessible at the address http://wims.unice.fr. The following main features of the system are described:

1. A modular design allowing applications and software interfaces to be created and maintained independently from each other.

2. Existing interfaces for softwares including MuPAD, PARI/GP, Gnuplot, Povray, Coq (proof assistant).

3. Dynamic rendering of mathematical formulas and animated graphics.

4. A structure of virtual classes, including mechanisms for automatic score gathering and processing.

Design principles of the system are discussed, including session control, security measures and anti-cheating mechanisms.