Downloading

Algorithms in Real Algebraic Geometry
by Saugata Basu, Richard Pollack, Marie-Françoise Roy
Publisher Springer-Verlag
version bpr-ed2-posted1 from 31/07/09
a more recent version  bpr-ed2-posted2 from 3/08/2011 is available

and

SARAG (Some Algorithms in Real Algebraic Geometry)
by Fabrizio Caruso,
written in Maxima
version from 18/04/08

For downloading the .pdf file of the book click here

For dowloading the compressed experimental texmacs project click here

To use the experimental texmacs project you need to download texmacs (the version 1.0.7.2 is the last one to have been tested) and to download maxima (for using the graphical features of SARAG, Maxima 5.13.0 is necessary)

Note that the experimental texmacs project has the following functionalities
- possibility to make maxima computations in some chapter (currently 8 9 10 and part of 11) using the SARAG library developed by Fabrizio Caruso
- possibility to fold unfold proofs,  procedures and parts of the text
- possibility to travel inside the book by clicking on references or citations.

In order to use fully the functionalities  of the experimental texmacs project you have to launch texmacs from inside the folder bpr-ed2-posted1 you will get after decompressing.

If you want to use SARAG out of texmacs click here to get the compressed library

Please note that you should open first the whole book bpr-ed2-posted1.tm, otherwise the links wont work.

Note  that the table of contents and index   included in bpr-ed2-posted1.tm are not clickable.

From time to time it can be useful to remove automatically saved files to avoid crash of texmacs when clicking on some links.

Please report on bugs at marie-francoise.roy@univ-rennes1.fr