We describe in this paper the WWW Interactive Mathematics Server (WIMS), designed for supporting intensive mathematics work via the Internet with server-side interactivity, accessible at http://wims.unice.fr. The following main features of the system are described:
- A modular design allowing applications and software interfaces to be created and maintained independently from each other.
- Existing interfaces for software packages, including Maxima, MuPAD, PARI/GP, Octave, Gnuplot, Povray, and Coq (proof assistant).
- Dynamic rendering of mathematical formulas and animated graphics.
- A structure of virtual classes, including mechanisms for automatic score gathering and processing.
In a future paper, we will discuss technical choices and details involved in the design of the system, including language design, session control, security measures, and anti-cheating mechanisms.
Published January, 2001
Xiao Gang, "WIMS: An Interactive Mathematics Server," Loci (August 2004)