Mathematical Software - ICMS 2010 : Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010, Proceedings - Komei Fukuda, Joris van der Hoeven, Michael Joswig, Nobuki Takayama ((Lecture Notes in Computer Science))