by Dongming Wang, Xiao-Shan Gao
"This book is of interest to researchers, software developers and graduate students in symbolic and algebraic computation, automated theorem proving, algorithmic mathematics, and computer-aided mat…