Symbolic-numeric computation - Zhi, Lihong; Wang, Dongming (Birkhauser, 2007)