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**).