S. Chou
发表
Shang-Ching Chou,
S. Chou,
1990,
ISSAC '90.
S. Chou,
1987
.
S. Chou,
Xiao Gao,
1989
.
S. Chou,
X. Gao,
2004
.
Xiao-Shan Gao,
Shang-Ching Chou,
S. Chou,
1990,
CADE.
Dongming Wang,
S. Chou,
Zhuojun Liu,
2006
.
S. Chou,
2005
.
S. Chou,
Master Thesis,
Xiao Gao,
2020
.
Xiao-Shan Gao,
Shang-Ching Chou,
S. Chou,
2001,
Handbook of Automated Reasoning.
Xiao-Shan Gao,
Shang-Ching Chou,
S. Chou,
1991,
ISSAC '91.
S. Chou,
Xiao Gao,
1990
.
Xiao-Shan Gao,
Shang-Ching Chou,
S. Chou,
1992,
J. Symb. Comput..
Jing-Zhong Zhang,
Xiao-Shan Gao,
Shang-Ching Chou,
2007
.
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.
Xiao-Shan Gao,
Shang-Ching Chou,
Jian-Xin Ge,
1999,
Comput. Aided Des..
Xiao-Shan Gao,
Shang-Ching Chou,
Jian-Xin Ge,
2001
.
Xiao-Shan Gao,
Shang-Ching Chou,
S. Chou,
1996,
Journal of Automated Reasoning.
Xiao-Shan Gao,
Shang-Ching Chou,
Jing-Zhong Zhang,
2000,
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,
1993,
Journal of Automated Reasoning.
Xiao-Shan Gao,
Zheng Ye,
Shang-Ching Chou,
2010,
Journal of Automated Reasoning.
Xiao-Shan Gao,
Zheng Ye,
Shang-Ching Chou,
2008,
Automated Deduction in Geometry.
Xiao-Shan Gao,
Lu Yang,
Shang-Ching Chou,
1996,
Automated Deduction in Geometry.
Xiao-Shan Gao,
Shang-Ching Chou,
Jing-Zhong Zhang,
1996,
CADE.
Xiao-Shan Gao,
Shang-Ching Chou,
Jing-Zhong Zhang,
1995,
Journal of Automated Reasoning.
Xiao-Shan Gao,
Shang-Ching Chou,
Jing-Zhong Zhang,
1995,
Annals of Mathematics and Artificial Intelligence.
Shang-Ching Chou,
Jing-Zhong Zhang,
Xiao-Shan Gao,
1993,
[1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science.
Shang-Ching Chou,
S. Chou,
1988,
Journal of Automated Reasoning.
Shang-Ching Chou,
S. Chou,
Xiao Gao,
2022
.
Xiao-Shan Gao,
Shang-Ching Chou,
S. Chou,
1992,
Applicable Algebra in Engineering, Communication and Computing.
Xiao-Shan Gao,
Shang-Ching Chou,
S. Chou,
1998,
Comput. Aided Des..
Xiao-Shan Gao,
Shang-Ching Chou,
S. Chou,
1992,
ISSAC '92.
Xiao-Shan Gao,
Shang-Ching Chou,
S. Chou,
2006
.
Xiao-Shan Gao,
Shang-Ching Chou,
S. Chou,
1990,
ISSAC '90.
Xiao-Shan Gao,
Nicholas Freitag McPhee,
Shang-Ching Chou,
1994,
CADE.
Xiao-Shan Gao,
Shang-Ching Chou,
S. Chou,
1993,
J. Symb. Comput..
S. Chou,
X. Gao,
Shang Chou,
1989
.
S. Chou,
X. Gao,
2004
.
Shang-Ching Chou,
William F. Schelter,
Jin-Gen Yang,
1989
.
Shang-Ching Chou,
Jin-Gen Yang,
S. Chou,
1989,
Algorithmica.
Shang-Ching Chou,
Hai-Ping Ko,
S. Chou,
1986,
Logic in Computer Science.
S. Chou,
Jing-Zhong Zhang,
Xiao-Shan Gao,
1994,
Series on applied mathematics.
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,
CSCWD.
Xiao-Shan Gao,
Shang-Ching Chou,
S. Chou,
1996
.
S. Chou,
H. Ko,
H. P. Ko,
1989
.