Ruyong Feng, Wen-shin Lee, Yosuke Sato: Computer Mathematics, 9th Asian Symposium (ASCM 2009), Fukuoka, Japan, December 2009, 10th Asian Symposium (ASCM 2012), Beijing, China, October 2012, Contributed Papers and Invited Talks. Springer 2014, ISBN 978-3-662-43798-8