Mathematical software - ICMS 2010 third international congress on mathematical software, Kobe, Japan, September 13-17, 2010. Proceedings - Fukuda, Komei (Lecture Notes in Computer Science,, 2010)