For Software Support:

If you have any trouble with the software, please mail to Zheng Ye.

 

The three authors :

Shang-Ching Chou. Professor
Department of Computer Science, Wichita State University
Wichita, KS 67220, USA
Email: chou@cs.wichita.edu

Xiao-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.cn

Zheng Ye. PHD Student.
Department of Computer Science, Zhejiang University, China.
Email: yezheng@gmail.com

More Support :

More support can be found in our webpage: http://woody.cs.wichita.edu.

 

JGEX Help