If you have any trouble with the software, please mail to Zheng Ye.
Shang-Ching Chou. Professor
Department of Computer Science, Wichita State University
Wichita, KS 67220, USA
Email: chou@cs.wichita.eduXiao-Shan Gao. Professor
Key Laboratory of Mathematics Mechanization, Director
Institute of Systems Science, Director
Academy of Mathematics and System Sciences, Academia Sinica
Beijing 100080, China
Email: xgao@mmrc.iss.ac.cnZheng Ye. PHD Student.
Department of Computer Science, Zhejiang University, China.
Email: yezheng@gmail.com
More support can be found in our webpage: http://woody.cs.wichita.edu.
JGEX Help