Shang-Ching Chou
发表
Shang-Ching Chou,
S. Chou,
1988,
Journal of Automated Reasoning.
Xiao-Shan Gao,
Shang-Ching Chou,
Jing-Zhong Zhang,
1996,
CADE.
Xiao-Shan Gao,
Nicholas Freitag McPhee,
Shang-Ching Chou,
1994,
CADE.
Xiao-Shan Gao,
Zheng Ye,
Shang-Ching Chou,
2010,
Journal of Automated Reasoning.
Xiao-Shan Gao,
Shang-Ching Chou,
S. Chou,
1998,
Comput. Aided Des..
Jinxiang Dong,
Shang-Ching Chou,
Min Tang,
2005,
CSCWD.
Xiao-Shan Gao,
Lu Yang,
Shang-Ching Chou,
1996,
Automated Deduction in Geometry.
Xiao-Shan Gao,
Shang-Ching Chou,
Jing-Zhong Zhang,
1995,
Annals of Mathematics and Artificial Intelligence.
Shang-Ching Chou,
S. Chou,
1990,
ISSAC '90.
Jan M. Zytkow,
Shang-Ching Chou,
Rajiv Bagai,
1993,
Proceedings of ICCI'93: 5th International Conference on Computing and Information.
Xiao-Shan Gao,
Shang-Ching Chou,
Jing-Zhong Zhang,
1997
.
Xiao-Shan Gao,
Shang-Ching Chou,
Jing-Zhong Zhang,
1995,
Journal of Automated Reasoning.
Jinxiang Dong,
Shang-Ching Chou,
Min Tang,
2004,
CSCWD.
Shang-Ching Chou,
Min Tang,
Jinxiang Dong,
2004
.
Xiao-Shan Gao,
Shang-Ching Chou,
S. Chou,
1991,
ISSAC '91.
Xiao-Shan Gao,
Shang-Ching Chou,
S. Chou,
1996,
Journal of Automated Reasoning.
Xiao-Shan Gao,
Shang-Ching Chou,
1991,
Int. J. Comput. Geom. Appl..
Jinxiang Dong,
Shang-Ching Chou,
Min Tang,
2004,
VRCAI '04.
Shang-Ching Chou,
1992,
CADE.
Shang-Ching Chou,
William F. Schelter,
2006,
Journal of Automated Reasoning.
Xiao-Shan Gao,
Shang-Ching Chou,
S. Chou,
1992,
Applicable Algebra in Engineering, Communication and Computing.
Xiao-Shan Gao,
Shang-Ching Chou,
Jian-Xin Ge,
1999,
Comput. Aided Des..
Xiao-Shan Gao,
Zheng Ye,
Shang-Ching Chou,
2009,
Journal of Automated Reasoning.
Xiao-Shan Gao,
Ming Li,
Shang-Ching Chou,
2006,
The Visual Computer.
Xiao-Shan Gao,
Shang-Ching Chou,
S. Chou,
1992,
J. Symb. Comput..
Xiao-Shan Gao,
Shang-Ching Chou,
1992,
IWAR.
Jinxiang Dong,
Shang-Ching Chou,
Min Tang,
2005,
Ninth International Conference on Computer Aided Design and Computer Graphics (CAD-CG'05).
Xiao-Shan Gao,
Shang-Ching Chou,
S. Chou,
1990,
ISSAC '90.
An algorithm for constructing gröbner bases from characteristic sets and its application to geometry
Shang-Ching Chou,
William F. Schelter,
Jin-Gen Yang,
1990,
Algorithmica.
Jinxiang Dong,
Shang-Ching Chou,
Min Tang,
2005,
Proceedings of the Ninth International Conference on Computer Supported Cooperative Work in Design, 2005..
Jinxiang Dong,
Shang-Ching Chou,
Min Tang,
2005,
Proceedings of the Ninth International Conference on Computer Supported Cooperative Work in Design, 2005..
Shang-Ching Chou,
Jin-Gen Yang,
S. Chou,
1989,
Algorithmica.
Xiao-Shan Gao,
Shang-Ching Chou,
Jing-Zhong Zhang,
2000,
Journal of Automated Reasoning.
Jinxiang Dong,
Shang-Ching Chou,
Min Tang,
2005,
CSCWD.
Xiao-Shan Gao,
Shang-Ching Chou,
1992,
CADE.
Xiao-Shan Gao,
Shang-Ching Chou,
Jing-Zhong Zhang,
2004,
Journal of Automated Reasoning.
Jinxiang Dong,
Shang-Ching Chou,
Min Tang,
2007,
Adv. Eng. Informatics.
Xiao-Shan Gao,
Shang-Ching Chou,
S. Chou,
1993,
Journal of Automated Reasoning.
Xiao-Shan Gao,
Shang-Ching Chou,
S. Chou,
1993,
Journal of Automated Reasoning.
Xiao-Shan Gao,
Shang-Ching Chou,
S. Chou,
2001,
Handbook of Automated Reasoning.
Xiao-Shan Gao,
Shang-Ching Chou,
1998,
Comput. Aided Des..
Jan M. Zytkow,
Shang-Ching Chou,
Rajiv Bagai,
1993,
ISMIS.
Jinxiang Dong,
Shang-Ching Chou,
Min Tang,
2006,
Computer Graphics International.
Xiao-Shan Gao,
Zheng Ye,
Shang-Ching Chou,
2008,
Automated Deduction in Geometry.
Shang-Ching Chou,
1986,
CADE.
Jinxiang Dong,
Shang-Ching Chou,
Min Tang,
2005,
Proceedings of the Ninth International Conference on Computer Supported Cooperative Work in Design, 2005..
Shang-Ching Chou,
Jing-Zhong Zhang,
Xiao-Shan Gao,
1993,
[1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science.
Shang-Ching Chou,
Hai-Ping Ko,
S. Chou,
1986,
Logic in Computer Science.
Xiao-Shan Gao,
Shang-Ching Chou,
Jing-Zhong Zhang,
1993,
ISSAC '93.
Shang-Ching Chou,
2004,
Journal of Automated Reasoning.
Xiao-Shan Gao,
Shang-Ching Chou,
S. Chou,
1993,
J. Symb. Comput..
Xiao-Shan Gao,
Shang-Ching Chou,
S. Chou,
1992,
ISSAC '92.
Xiao-Shan Gao,
Shang-Ching Chou,
Jian-Xin Ge,
2001
.
Shang-Ching Chou,
William F. Schelter,
Jin-Gen Yang,
1989
.
Xiao-Shan Gao,
Shang-Ching Chou,
S. Chou,
1990,
CADE.
Shang-Ching Chou,
S. Chou,
Xiao Gao,
2022
.
Shang-Ching Chou,
Wang Dongming,
Gao Xiao-Shan,
2000
.
Xiao-Shan Gao,
Shang-Ching Chou,
S. Chou,
2006
.