Symbolic-Numeric Computation - Wang, Dongming; Zhi, Lihong (Birkhäuser Basel, 2007)