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