Software for Mathematical Theory Exploration

@ ICMS 2014 @ ICM 2014

August 5 (Tue) - 9 (Sat), 2014, Hanyang University, Seoul, Korea