Algorithms and Number Systems for
Hardware Computer Arithmetic
Differential algebra and triangulation-
decomposition algorithms
Homotopy Methods for Solving Polynomial
Systems