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