Algorithms in Real
by Saugata Basu, Richard Pollack, Marie-Françoise Roy
version bpr-ed2-posted1 from 31/07/09
a more recent version bpr-ed2-posted2 from 3/08/2011 is available
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 126.96.36.199 is the last one to have been
tested) and to download
(for using the graphical features of SARAG, Maxima 5.13.0 is necessary)
Note that the experimental texmacs project has the
- possibility to make maxima computations in some chapter (currently 8
10 and part of 11) using the SARAG library developed by Fabrizio Caruso
- possibility to fold unfold proofs, procedures and parts of
- possibility to travel inside the book by clicking on references or
In order to use fully the functionalities of the experimental
texmacs project you have to launch texmacs from inside the folder
will get after decompressing.
If you want to use SARAG out of texmacs click here to get the
Please note that you should open first the whole book
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 email@example.com