Symbolic-Numeric Computation by Dongming Wang & Chinese Academy O. Li-Hong Zhi