Ginette helps students solve equations and linear
systems. It reads the equations from a text file,
and for each equation, the student has to choose
between a few operations to gradually come to the
equation's solution. The symbolic computation used
is based on the GINAC library.
