Previous: Things to do Up: First report of the Algrebra Assistant Next: About this document ...

Structure of the system