Symbolic computation and education - Li, Shangzhi,; Wang, Dongming,; Zhang, Jingzhong, (World Scientific,)