A graphical user interface for the Kenzo system, a program to compute in Algebraic Topology

Kenzo is a symbolic computation system devoted to Algebraic Topology. It has been developed by F. Sergeraert mainly as a research tool. The challenge is now to increase the number of users and to improve its usability. The rst task we have undertaken is to design simply a friendly front-end, and after that we have focussed on devising a complete framework which wraps the pure Common Lisp Kenzo system and makes the use of Kenzo easier to dierent clients.