(Translation in progress)

Note: these pages describe the old version of SICECAS and hence are rather unusable.

Documentation

User manual

The stack-window
Working with formulae
Structure of formulae
Variables
Sets
Working with graphs
Formal logic
Printing

Bugs and things that can be improved are indicated with

PENDING:

Internals

Source code
Documentation about the internal functioning in pdf (unfortunately without pictures) or gzipped postscript (with pictures) format. Dutch only.
Goals
Internalia
Time schedule
History
The competitors
Statistics: make + shell + perl + gnuplot = useless but nice to look at :-)
Abstract and flyer for the Studiedag ICT of May 24th 2000

Terug