Dr. Chung recently received a reward from Wolfram for his symbolic package. Does anyone know how to gain access? here is his book: book defunct link: http://symbcomp.gist.ac.kr/ defunct 2011 sample: http://library.wolfram.com/infocenter/Conferences/8063/