Trends In Mathematics Symbolic-Numeric Computation - Wang Dongming; Lihong Zhi (Berlin Birkhuser, 2007)