Geometry of continued fractions. - Springer Verlag, 2013. - (Algorithms and Computation in Mathematics; 26).
Triangulations : stuctures for algorithms and applications - with 550 figures and 14 tables. - Springer Verlag, 2010. - (Algorithms and Computation in Mathematics; 25).
Rational algebraic curves - a computer algebra approach. - Springer Verlag, 2008. - (Algorithms and Computation in Mathematics; 22).
Combinatorial algebraic topology. - Springer Verlag, 2008. - (Algorithms and Computation in Mathematics; 21).
Binary quadratic forms - an algorithmic approach. - Springer Verlag, 2007. - (Algorithms and Computation in Mathematics; 20).
Discovering mathematics with Magma - reducing the abstract to the concrete. - Springer Verlag, 2006. - (Algorithms and Computation in Mathematics; 19).
Error-correcting linear codes - clasification by isometry and applications. - Springer Verlag, 2006. - (Algorithms and Computation in Mathematics; 18).
Self-dual codes and invariant theory. - Springer Verlag, 2006. - (Algorithms and Computation in Mathematics; 17).
Classification algorithms for codes and designs. - Springer Verlag, 2006. - (Algorithms and Computation in Mathematics; 15).
Solving polynomial equations - foundations, algorithms, and applications. - Springer Verlag, 2005. - (Algorithms and Computation in Mathematics; 14).
Computational ergodic theory. - Springer Verlag, 2005. - (Algorithms and Computation in Mathematics; 13).
Symbolic asymptotics. - Springer Verlag, 2004. - (Algorithms and Computation in Mathematics; 12).
Polynomials. - Springer Verlag, 2004. - (Algorithms and Computation in Mathematics; 11).
Algorithms in real algebraic geometry. Second edition. - Springer Verlag, 2006. - (Algorithms and Computation in Mathematics; 10).
Algorithms in real algebraic geometry. - Springer Verlag, 2003. - (Algorithms and Computation in Mathematics; 10).
Algorithmic topology and classification of 3-manifolds. Second edition. - Springer Verlag, 2007. - (Algorithms and Computation in Mathematics; 9).
Algorithmic topology and classification of 3-manifolds. - Springer Verlag, 2003. - (Algorithms and Computation in Mathematics; 9).
Computations in algebraic geometry with Macaulay 2. - Springer Verlag, 2002. - (Algorithms and Computation in Mathematics; 8).
Completeness and reduction in algebraic complexity theory. - Springer Verlag, 2000. - (Algorithms and Computation in Mathematics; 7).
Gröbner deformations of hypergeometric differential equations. - Springer Verlag, 2000. - (Algorithms and Computation in Mathematics; 6).
Graphs, networks and algorithms. Fourth edition. - Springer Verlag, 2013. - (Algorithms and Computation in Mathematics; 5).
Graphs, networks and algorithms. Third edition. - Springer Verlag, 2008. - (Algorithms and Computation in Mathematics; 5).
Graphs, networks and algorithms. Second edition. - Springer Verlag, 2005. - (Algorithms and Computation in Mathematics; 5).
Graphs, networks and algorithms. - Springer Verlag, 1999. - (Algorithms and Computation in Mathematics; 5).
Algebraic aspects of cryptography. - Springer Verlag, 1998. - (Algorithms and Computation in Mathematics; 3).
Computational methods in commutative algebra and algebraic geometry. - Springer Verlag, 1998. - (Algorithms and Computation in Mathematics; 2).
Computational methods in commutative algebra and algebraic geometry. - Springer Verlag, 1998. - (Algorithms and Computation in Mathematics; 2).
Symbolic integration I. Transcendental functions. - Springer Verlag, 1997. - (Algorithms and Computation in Mathematics; 1).