Computer Mathematics 9th Asian Symposium (ASCM2009), Fukuoka, December 2009, 10th Asian Symposium (ASCM2012), Beijing, October 2012 ; contributed papers and invited talks - Feng, Ruyong (Springer, 2014)