Downloading

Algorithms in Real Algebraic Geometry
by Saugata Basu, Richard Pollack, Marie-Françoise Roy
Publisher Springer-Verlag*
Second edition 2008
version bpr-ed2-posted2 from 3/08/2011

and

SARAG (Some Algorithms in Real Algebraic Geometry)
by Fabrizio Caruso,
written in Maxima
with contributions from Richard Leroy, Alexandre Le Meur, Marie-Francoise Roy
version from 1/09/2011

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-posted2 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-posted2.tm, then change the page format to page (rather than papyrus) and update all once or twice.

Note  that the table of contents and index   included in bpr-ed2-posted2.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

Former version bpr-ed2-posted1 from 31/07/09 remains available.
Former version bpr-ed2-posted2 from 29/12/2010 remains available.

*Note: In our publishing agreementt with our publisher Springer-Verlag, there is a special clause saying that
"It is agreed that the authors may make the book available on line 18 months after the date of the publication. Springer will be cited (and thanked) as the copyright holder. The authors are entitled to revise and improve the text by 1) correcting typos reported by readers, 2) clarifying points that readers reports as puzzling and confusing, or 3) improving the book in any way that the authors find suitable."