Algorithms in Real
by Saugata Basu, Richard Pollack, Marie-Françoise Roy
Second edition 2008
version bpr-ed2-posted2 from 3/08/2011
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
For dowloading the compressed experimental texmacs project
To use the experimental texmacs project you need to download
texmacs (the version 188.8.131.52 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
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 email@example.com
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