Material related to the lectures given by myself
(Ugo Locatelli) at the advanced school on
Specific Algebraic Manipulators
Barcelona, September 12-15, 2007
|
First of all, since you came even here, let me just say that you
probably are a very patient student!
To have the programs related to the computer-assisted proof I
described during my lectures, first download the file
After having done it, in a terminal window move in the same directory
where you have placed the file CAP.tgz and unpack it, by using
the command
Then, move in the newly created directory (named CAP) and you
should be informed about everything you need by reading the text file
README.txt