- Rafael J. Sendra, Franz Winkler, Sonia Perez-Diaz, Rational algebraic curves. A computer algebra approach. Algorithms and Computation in Mathematics, 22. Springer, Berlin, 2008. x+267 pp.
- Geometric modeling and algebraic geometry. Edited by Bert Juettler and Ragni Piene. Springer-Verlag, Berlin, 2008. viii+231 pp.

- Cox, David; Little, John; O'Shea, Donal Ideals, varieties, and algorithms. An introduction to computational algebraic geometry and commutative algebra. Third edition. Undergraduate Texts in Mathematics. Springer, New York, 2007. xvi+551 pp.
- Bailey, David H.; Borwein, Jonathan M.; Calkin, Neil J.; Girgensohn, Roland; Luke, D. Russell; Moll, Victor H. Experimental mathematics in action. A K Peters, Ltd., Wellesley, MA, 2007. xii+322 pp.
- William Stein Modular forms, a computational approach. With an appendix by Paul E. Gunnells. Graduate Studies in Mathematics, 79. American Mathematical Society, Providence, RI, 2007. xvi+268 pp.
- Computer Algebra 2006 Latest Advances in Symbolic Algorithms, World Scientific Press, 2007 Edited by Ilias S Kotsireas & Eugene V Zima. 220 pp.
- Iyengar, Srikanth B.; Leuschke, Graham J.; Leykin, Anton; Miller, Claudia; Miller, Ezra; Singh, Anurag K.; Walther, Uli Twenty-four hours of local cohomology. Graduate Studies in Mathematics, 87. American Mathematical Society, Providence, RI, 2007. xviii+282 pp.
- Mohamed Elkadi, Bernard Mourrain Introduction a la resolution des systemes polynomiaux. Mathematiques & Applications (Berlin) 59. Springer, Berlin, 2007. vi+305 pp.
- Groebner bases in symbolic analysis. Papers from the D2 Workshop held in Linz, May 8--17, 2006. Edited by Markus Rosenkranz and Dongming Wang. Radon Series on Computational and Applied Mathematics, 2. Walter de Gruyter GmbH & Co. KG, Berlin, 2007. vi+349 pp.
- Symbolic-Numeric Computation (Trends in Mathematics), Edited by Dongming Wang, Lihong Zhi Birkhauser Basel, 2007. viii+394 pp.

- Saugata Basu, Richard Pollack, Marie-Francoise Roy, Algorithms in real algebraic geometry. Second edition. Algorithms and Computation in Mathematics, 10. Springer-Verlag, Berlin, 2006. x+662 pp.
- Mathematical software ICMS 2006. Proceedings of the 2nd International Congress held in Castro Urdiales, September 1--3, 2006. Edited by Andres Iglesias and Nobuki Takayama. Lecture Notes in Computer Science, 4151. Springer, Berlin, 2006. xviii+452 pp.
- Automated deduction in geometry. Revised papers from the 5th International Workshop (ADG 2004) held at the University of Florida, Gainesville, FL, September 16--18, 2004. Edited by Hoon Hong and Dongming Wang. Lecture Notes in Computer Science, 3763. Lecture Notes in Artificial Intelligence. Springer-Verlag, Berlin, 2006. x+213 pp.
- Computer algebra in scientific computing. Proceedings of the 9th International Workshop (CASC 2006) held in Chicsinuau, September 11--15, 2006. Edited by Victor G. Ganzha, Ernst W. Mayr and Evgenii V. Vorozhtsov. Lecture Notes in Computer Science, 4194. Springer-Verlag, Berlin, 2006. xii+313 pp.

- Manuel Bronstein, Symbolic integration. I. Transcendental functions. Second edition. With a foreword by B. F. Caviness. Algorithms and Computation in Mathematics, 1. Springer-Verlag, Berlin, 2005. xvi+325 pp.
- Cox, David A.; Little, John; O'Shea, Donal Using algebraic geometry. Second edition. Graduate Texts in Mathematics, 185. Springer, New York, 2005. xii+572 pp.
- Martin Kreuzer, Lorenzo Robbiano, Computational commutative algebra. 2. Springer-Verlag, Berlin, 2005. x+586 pp.
- Victor Shoup, A computational introduction to number theory and algebra. Cambridge University Press, Cambridge, 2005. xvi+517 pp.
- Algebraic statistics for computational biology. Edited by Lior Pachter and Bernd Sturmfels. Cambridge University Press, New York, 2005. xii+420 pp.
- Ezra Miller, Bernd Sturmfels, Combinatorial commutative algebra. Graduate Texts in Mathematics, 227. Springer-Verlag, New York, 2005. xiv+417 pp.
- Solving polynomial equations. Foundations, algorithms, and applications. Edited by Alicia Dickenstein and Ioannis Z. Emiris. Algorithms and Computation in Mathematics, 14. Springer-Verlag, Berlin, 2005. xiv+425 pp.
- Mora, Teo Solving polynomial equation systems. II. Macaulay's paradigm and Grbner technology. Encyclopedia of Mathematics and its Applications, 99. Cambridge University Press, Cambridge, 2005. xxii+759 pp.
- Differential equations with symbolic computation. Edited by Dongming Wang and Zhiming Zheng. Trends in Mathematics. Birkhuser Verlag, Basel, 2005. viii+374 pp.
- Computer algebra in scientific computing. Proceedings of the 8th International Workshop (CASC 2005) held in Kalamata, September 12--16, 2005. Edited by Victor G. Ganzha, Ernst E. Mayr and Evgenii V. Vorozhtsov. Lecture Notes in Computer Science, 3718. Springer-Verlag, Berlin, 2005. xii+502 pp.
- Computational aspects of algebraic curves. Papers from the conference held at the University of Idaho, Moscow, ID, May 26--28, 2005. Edited by Tanush Shaska. Lecture Notes Series on Computing, 13. World Scientific Publishing Co. Pte. Ltd., Hackensack, NJ, 2005. xii+272 pp.
- Computational methods for algebraic spline surfaces. Papers from the ESF Exploratory International Workshop (COMPASS) held in Kefermarkt, September 29--October 3, 2003. Edited by Tor Dokken and Bert Juettler. Springer-Verlag, Berlin, 2005. viii+237 pp.

- Juergen Gerhard Modular algorithms in symbolic summation and symbolic integration LNCS 3218, Springer Verlag.
- Hans J. Stetter, Numerical polynomial algebra. Society for Industrial and Applied Mathematics (SIAM), Philadelphia, PA, 2004. xvi+472 pp.
- Geometric computation. Papers from the seminar (SGC 2002) held at the University of Science and Technology, Hefei, April 24--26, 2002. Edited by Falai Chen and Dongming Wang. Lecture Notes Series on Computing, 11. World Scientific Publishing Co., Inc., River Edge, NJ, 2004. viii+413 pp.
- Wang, Dongming Elimination practice. Software tools and applications. With 1 CD-ROM (UNIX/LINUX, Windows). Imperial College Press, London, 2004. x+222 pp.
- Borwein, Jonathan; Bailey, David; Girgensohn, Roland Experimentation in mathematics. Computational paths to discovery. A K Peters, Ltd., Natick, MA, 2004. x+357 pp.
- Borwein, Jonathan; Bailey, David Mathematics by experiment. Plausible reasoning in the 21st century. A K Peters, Ltd., Natick, MA, 2004. x+288 pp.

- Modern Computer Algebra, Second Edition Joachim Von Zur Gathen, Juergen Gerhard Cambridge University Press, Cambridge, 2003. xiv+785 pp.
- Saugata Basu, Richard Pollack, Marie-Francoise Roy, Algorithms in real algebraic geometry. Algorithms and Computation in Mathematics, 10. Springer-Verlag, Berlin, 2003. viii+602 pp.
- Computer algebra handbook. Foundations. Applications. Systems. Edited by Johannes Grabmeier, Erich Kaltofen and Volker Weispfenning. With 1 CD-ROM (Windows, Macintosh). Springer-Verlag, Berlin, 2003. xx+637 pp.
- Bose, N. K. Multidimensional systems theory and applications. Second edition. With contributions by B. Buchberger and J. P. Guiver. Kluwer Academic Publishers, Dordrecht, 2003. xx+269 pp.
- Mathematical knowledge management. Edited by Bruno Buchberger, Gaston Gonnet and Michiel Hazewinkel. Ann. Math. Artif. Intell. 38 (2003), no. 1-3. Kluwer Academic Publishers, Dordrecht, 2003. pp. v--viii and 1--228.
- Algorithmic and quantitative real algebraic geometry. Papers from the DIMACS Workshop on Algorithmic and Quantitative Aspects of Real Algebraic Geometry in Mathematics and Computer Science held at Rutgers University, Piscataway, NJ, March 12--16, 2001. Edited by Saugata Basu and Laureano Gonzalez-Vega. DIMACS Series in Discrete Mathematics and Theoretical Computer Science, 60. American Mathematical Society, Providence, RI, 2003. x+219 pp.
- Mora, Teo Solving polynomial equation systems. I. The Kronecker-Duval philosophy. Encyclopedia of Mathematics and its Applications, 88. Cambridge University Press, Cambridge, 2003. xiv+423 pp.

- Derksen, Harm; Kemper, Gregor Computational invariant theory. Invariant Theory and Algebraic Transformation Groups, I. Encyclopaedia of Mathematical Sciences, 130. Springer-Verlag, Berlin, 2002. x+268 pp.
- Mathematical software. Proceedings of the 1st International Conference held in Beijing, August 17--19, 2002. Edited by Arjeh M. Cohen, Xiao-Shan Gao and Nobuki Takayama. World Scientific Publishing Co., Inc., River Edge, NJ, 2002. xiv+514 pp.
- Computations in algebraic geometry with Macaulay 2. Edited by David Eisenbud, Daniel R. Grayson, Michael Stillman and Bernd Sturmfels. Algorithms and Computation in Mathematics, 8. Springer-Verlag, Berlin, 2002. xvi+329 pp.
- Bernd Sturmfels, Solving systems of polynomial equations. CBMS Regional Conference Series in Mathematics, 97. American Mathematical Society, Providence, RI, 2002. viii+152 pp.
- Peter Borwein, Computational excursions in analysis and number theory. CMS Books in Mathematics/Ouvrages de Mathmatiques de la SMC, 10. Springer-Verlag, New York, 2002. x+220 pp.

- Victor Y. Pan, Structured matrices and polynomials. Unified superfast algorithms. Birkhauser Boston, Inc., Boston, MA; Springer-Verlag, New York, 2001. xxvi+278 pp.
- Pistone, Giovanni; Riccomagno, Eva; Wynn, Henry P. Algebraic statistics. Computational commutative algebra in statistics. Monographs on Statistics and Applied Probability, 89. Chapman & Hall/CRC, Boca Raton, FL, 2001. xvii+160 pp.
- Automated deduction in geometry. Proceedings of the 3rd International Workshop (ADG 2000) held in Zurich, September 25--27, 2000. Edited by Jrgen Richter-Gebert and Dongming Wang. Lecture Notes in Computer Science, 2061. Lecture Notes in Artificial Intelligence. Springer-Verlag, Berlin, 2001. viii+325 pp.
- Wang, D. Elimination methods. Texts and Monographs in Symbolic Computation. Springer-Verlag, Vienna, 2001. xiv+244 pp.
- Symbolic computation: solving equations in algebra, geometry, and engineering. Proceedings of an AMS-IMS-SIAM Joint Summer Research Conference held at Mount Holyoke College, South Hadley, MA, June 11--15, 2000. Edited by Edward L. Green, Serkan Hosten, Reinhard C. Laubenbacher and Victoria Ann Powers. Contemporary Mathematics, 286. American Mathematical Society, Providence, RI, 2001. viii+240 pp.
- Computer algebra in scientific computing. Proceedings of the 4th International Workshop (CASC 2001) held in Konstanz, September 22--26, 2001. Edited by Victor G. Ganzha, Ernst W. Mayr and Evgenii V. Vorozhtsov. Springer-Verlag, Berlin, 2001. xii+555 pp.

- Karin Gatermann, Computer algebra methods for equivariant dynamical systems. Lecture Notes in Mathematics, 1728. Springer-Verlag, Berlin, 2000. xvi+153
- Chee Keng Yap, Fundamental problems of algorithmic algebra. Oxford University Press, New York, 2000. xvi+511 pp.
- Martin Kreuzer, Lorenzo Robbiano, Computational commutative algebra. 1. Springer-Verlag, Berlin, 2000. x+321 pp.
- Mutsumi Saito, Bernd Sturmfels, Nobuki Takayama, Groebner deformations of hypergeometric differential equations. Algorithms and Computation in Mathematics, 6. Springer-Verlag, Berlin, 2000. viii+254 pp.
- Computer mathematics. Proceedings of the 4th Asian Symposium (ASCM 2000) held in Chiang Mai, December 17--20, 2000. Edited by Xiao-Shan Gao and Dongming Wang. Lecture Notes Series on Computing, 8. World Scientific Publishing Co., Inc., River Edge, NJ, 2000. xii+324 pp.
- Mathematics mechanization and applications. Edited by Xiao-Shan Gao and Dongming Wang. Academic Press, Inc., San Diego, CA, 2000. xx+551 pp.
- Computer algebra in scientific computing. Proceedings of the 3rd Workshop (CASC 2000) held in Samarkand, October 5--9, 2000. Edited by Victor G. Ganzha, Ernst W. Mayr and Evgenii V. Vorozhtsov. Springer-Verlag, Berlin, 2000. xii+439 pp.

- Modern Computer Algebra Joachim Von Zur Gathen, Juergen Gerhard Cambridge University Press, New York, 1999. xiv+753 pp.
- Some tapas of computer algebra. Edited by Arjeh M. Cohen, Hans Cuypers and Hans Sterk. Algorithms and Computation in Mathematics, 4. Springer-Verlag, Berlin, 1999. xiv+352 pp.
- Automated deduction in geometry. Proceedings the 2nd International Workshop (ADG '98) held in Beijing, August 1--3, 1998. Edited by Xiao-Shan Gao, Dongming Wang and Lu Yang. Lecture Notes in Computer Science, 1669. Lecture Notes in Artificial Intelligence. Springer-Verlag, Berlin, 1999. viii+287 pp.
- Computer algebra in scientific computing---CASC'99. Proceedings of the 2nd Workshop held in Munich, May 31--June 4, 1999. Edited by Victor G. Ganzha, Ernst W. Mayr and Evgenii V. Vorozhtsov. Springer-Verlag, Berlin, 1999. xii+511 pp.

- Groebner bases and applications. Papers from the Conference on 33 Years of Groebner Bases held at the University of Linz, Linz, February 2--4, 1998. Edited by B. Buchberger and F. Winkler. London Mathematical Society Lecture Note Series, 251. Cambridge University Press, Cambridge, 1998. viii+552 pp.
- Cox, David; Little, John; O'Shea, Donal Using algebraic geometry. Graduate Texts in Mathematics, 185. Springer-Verlag, New York, 1998. xii+499 pp.
- Applications of computational algebraic geometry. Lectures presented at the American Mathematical Society Short Course held in San Diego, CA, January 6--7, 1997. Edited by David A. Cox and Bernd Sturmfels. Proceedings of Symposia in Applied Mathematics, 53. AMS Short Course Lecture Notes. American Mathematical Society, Providence, RI, 1998. x+172 pp.
- Vasconcelos, Wolmer V. Computational methods in commutative algebra and algebraic geometry. With chapters by David Eisenbud, Daniel R. Grayson, Jurgen Herzog and Michael Stillman. Algorithms and Computation in Mathematics, 2. Springer-Verlag, Berlin, 1998. xii+394 pp.
- Lectures on proof verification and approximation algorithms. Papers from the Workshop on Proof Verification and Approximation Algorithms held at Schloss Dagstuhl, April 21--25, 1997. Edited by Ernst W. Mayr, Hans Juergen Proemel and Angelika Steger. Lecture Notes in Computer Science, 1367. Springer-Verlag, Berlin, 1998. xii+344 pp.
- Symbolic rewriting techniques. Papers from the workshop held in Ascona, April 30--May 4, 1995. Edited by Manuel Bronstein, Johannes Grabmeier and Volker Weispfenning. Progress in Computer Science and Applied Logic, 15. Birkhuser Verlag, Basel, 1998. viii+288 pp.
- Koepf, Wolfram Hypergeometric summation. An algorithmic approach to summation and special function identities. Advanced Lectures in Mathematics. Friedr. Vieweg & Sohn, Braunschweig, 1998. x+230 pp.

- Manuel Bronstein, Symbolic integration. I. Transcendental functions. With a foreword by B. F. Caviness. Algorithms and Computation in Mathematics, 1. Springer-Verlag, Berlin, 1997. xiv+299 pp.
- Cox, David; Little, John; O'Shea, Donal Ideals, varieties, and algorithms. An introduction to computational algebraic geometry and commutative algebra. Second edition. Undergraduate Texts in Mathematics. Springer-Verlag, New York, 1997. xiv+536 pp.
- Organic mathematics. Proceedings of the workshop held in Burnaby, BC, December 12--14, 1995. Edited by J. Borwein, P. Borwein, L. Jrgenson and R. Corless. CMS Conference Proceedings, 20. Published by the American Mathematical Society, Providence, RI; for the Canadian Mathematical Society, Ottawa, ON, 1997. x+412 pp.
- Applied algebra, algebraic algorithms and error-correcting codes. Proceedings of the 12th International Symposium (AAECC-12) held in Toulouse, June 23--27, 1997. Edited by Teo Mora and Harold Mattson. Lecture Notes in Computer Science, 1255. Springer-Verlag, Berlin, 1997. x+353 pp.

- Franz Winkler, Polynomial algorithms in computer algebra. Texts and Monographs in Symbolic Computation. Springer-Verlag, Vienna, 1996. viii+270 pp.
- Bernd Sturmfels, Groebner bases and convex polytopes. University Lecture Series, 8. American Mathematical Society, Providence, RI, 1996. xii+162 pp.
- Petkovsek, Marko; Wilf, Herbert S.; Zeilberger, Doron A=B. With a foreword by Donald E. Knuth. With a separately available computer disk. A K Peters, Ltd., Wellesley, MA, 1996. xii+212 pp.
- Algorithms in algebraic geometry and applications. Papers from the Conference on Effective Methods in Algebraic Geometry (MEGA-94) held at the University of Cantabria, Santander, April 5--9, 1994. Edited by Laureano Gonzalez-Vega and Tomas Recio. Progress in Mathematics, 143. Birkhauser Verlag, Basel, 1996. x+399 pp.

- Automated practical reasoning. Algebraic approaches. Edited by Jochen Pfalzgraf and Dong Ming Wang. Texts and Monographs in Symbolic Computation. Springer-Verlag, Vienna, 1995. xii+223 pp.
- Peter Borwein, Tamas Erdelyi, Polynomials and polynomial inequalities. Graduate Texts in Mathematics, 161. Springer-Verlag, New York, 1995. x+480 pp.
- Applied algebra, algebraic algorithms and error-correcting codes. Proceedings of the 11th International Symposium (AAECC-11) held in Paris, July 17--22, 1995. Edited by Grard Cohen, Marc Giusti and Teo Mora. Lecture Notes in Computer Science, 948. Springer-Verlag, Berlin, 1995. xii+484 pp.

- Adams, William W.; Loustaunau, Philippe An introduction to Groebner bases. Graduate Studies in Mathematics, 3. American Mathematical Society, Providence, RI, 1994. xiv+289 pp.
- Dario Bini, Victor Y. Pan, Polynomial and matrix computations. Vol. 1. Fundamental algorithms. Progress in Theoretical Computer Science. Birkhauser Boston, Inc., Boston, MA, 1994. xvi+415 pp.
- Graham, Ronald L.; Knuth, Donald E.; Patashnik, Oren Concrete mathematics. A foundation for computer science. Second edition. Addison-Wesley Publishing Company, Reading, MA, 1994. xiv+657 pp.
- Wu, Wen Tsun Mechanical theorem proving in geometries. Basic principles. Translated from the 1984 Chinese original by Xiao Fan Jin and Dong Ming Wang. Texts and Monographs in Symbolic Computation. Springer-Verlag, Vienna, 1994. xiv+288 pp.

- Davenport, J. H.; Siret, Y.; Tournier, E. Computer algebra. Systems and algorithms for algebraic computation. Second edition. With a preface by Daniel Lazard. Translated from the French by A. Davenport and J. H. Davenport. With a foreword by Anthony C. Hearn. Academic Press, Ltd., London, 1993. xx+298 pp.
- Bernd Sturmfels, Algorithms in invariant theory. Texts and Monographs in Symbolic Computation. Springer-Verlag, Vienna, 1993. vi+197 pp.
- Becker, Thomas; Weispfenning, Volker Groebner bases. A computational approach to commutative algebra. In cooperation with Heinz Kredel. Graduate Texts in Mathematics, 141. Springer-Verlag, New York, 1993. xxii+574 pp.
- Computational algebraic geometry. Papers from the Second Conference (MEGA-92) held in Nice, April 21--25, 1992. Edited by Frederic Eyssette and Andre Galligo. Progress in Mathematics, 109. Birkhuser Boston, Inc., Boston, MA, 1993. x+328 pp.
- Applied algebra, algebraic algorithms and error-correcting codes. Proceedings of the Tenth International Symposium (AAECC-10) held in San Juan, Puerto Rico, May 10--14, 1993. Edited by Grard Cohen, Teo Mora and Oscar Moreno. Lecture Notes in Computer Science, 673. Springer-Verlag, Berlin, 1993. x+355 pp.

- Keith O. Geddes, Stephen R. Czapor, George Labahn, Algorithms for Computer Algebra. Kluwer Academic Publishers, Boston, MA, 1992. xxii+585 pp.
- Cox, David; Little, John; O'Shea, Donal Ideals, varieties, and algorithms. An introduction to computational algebraic geometry and commutative algebra. Undergraduate Texts in Mathematics. Springer-Verlag, New York, 1992. xii+513 pp.

- Effective methods in algebraic geometry. Papers from the symposium (MEGA-90) held in Castiglioncello, April 17--21, 1990. Edited by Teo Mora and Carlo Traverso. Progress in Mathematics, 94. Birkhuser Boston, Inc., Boston, MA, 1991. xiv+500 pp.
- Applied algebra, algebraic algorithms and error-correcting codes. Proceedings of the Ninth International Symposium (AAECC-9) held in New Orleans, Louisiana, October 7--11, 1991. Edited by H. F. Mattson, T. Mora and T. R. N. Rao. Lecture Notes in Computer Science, 539. Springer-Verlag, Berlin, 1991. xii+489 pp.

- Computational graph theory. Edited by G. Tinhofer, E. Mayr, H. Noltemeier and M. M. Syslo in cooperation with R. Albrecht. Computing Supplementum, 7. Springer-Verlag, Vienna, 1990. vi+282 pp.

- Computers and mathematics. Papers from the conference held at the Massachusetts Institute of Technology, Cambridge, Massachusetts, June 13--17, 1989. Edited by Erich Kaltofen and Stephen M. Watt. Springer-Verlag, New York, 1989. xiv+326 pp.
- Graham, Ronald L.; Knuth, Donald E.; Patashnik, Oren Concrete mathematics. A foundation for computer science. Addison-Wesley Publishing Company, Advanced Book Program, Reading, MA, 1989. xiv+625 pp.
- Applied algebra, algebraic algorithms and error-correcting codes. Proceedings of the Sixth International Conference (AAECC-6) held in Rome, July 4--8, 1988. Edited by T. Mora. Lecture Notes in Computer Science, 357. Springer-Verlag, Berlin, 1989. x+481 pp.

- Davenport, J. H.; Siret, Y.; Tournier, E. Computer algebra. Systems and algorithms for algebraic computation. With a preface by Daniel Lazard. Translated from the French by A. Davenport and J. H. Davenport. With a foreword by Anthony C. Hearn. Academic Press, Inc. [Harcourt Brace Jovanovich, Publishers], London, 1988. xx+267 pp.

- Bose, N. K.; Guiver, J. P.; Kamen, E. W.; Valenzuela, H. M.; Buchberger, B. Multidimensional systems theory. Progress, directions and open problems in multidimensional systems. Mathematics and its Applications, 16. D. Reidel Publishing Co., Dordrecht, 1985.

- Victor Y. Pan, How to multiply matrices faster. Lecture Notes in Computer Science, 179. Springer-Verlag, Berlin, 1984. xi+212 pp.

- Computer algebra. Symbolic and algebraic computation. Second edition. Edited by B. Buchberger, G. E. Collins, R. Loos and R. Albrecht. Springer-Verlag, Vienna, 1983. vii+283 pp.