1. Algorithms and Computation in Mathematics;Basu, Saugata,2003
2. Actualit\'{e}s Math\'{e}matiques. [Current Mathematical Topics];Benedetti, Riccardo,1990
3. Differentially closed fields: a model-theoretic tour;Blum, Lenore,1977
4. Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)];Bochnak, J.,1987
5. Real algebraic geometry and the 17th Hilbert problem;Bochnak, Jacek;Math. Ann.,1980