Software for Mathematical Theory Exploration
@ ICMS 2014
@ ICM 2014
August 5 (Tue) - 9 (Sat), 2014, Hanyang University, Seoul, Korea