Mathematical Software – ICMS 2010 - Fukuda, Komei; Hoeven, Joris van der; Joswig, Michael; Kanade, Takeo; Takayama, Nobuki; van der Hoeven, Joris (Springer Berlin Heidelberg, 2010)