dblp.uni-trier.dewww.uni-trier.de

Shang-Ching Chou Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2007
43EEMin Tang, Shang-Ching Chou, Jinxiang Dong: Conflicts classification and solving for collaborative feature modeling. Advanced Engineering Informatics 21(2): 211-219 (2007)
2006
42EEMin Tang, Jinxiang Dong, Shang-Ching Chou: Real-Time Shadow Volume Algorithm for Subdivision Surface Based Models. Computer Graphics International 2006: 538-545
41EEMing Li, Xiao-Shan Gao, Shang-Ching Chou: Quadratic approximation to plane parametric curves and its application in approximate implicitization. The Visual Computer 22(9-11): 906-917 (2006)
2005
40EERong-Qin Chen, Min Tang, Jinxiang Dong, Shang-Ching Chou: An Effective Approach to Compression and Transmission of Feature-Based Models. CSCWD (Selected papers) 2005: 424-433
39EEZhong-Xin Feng, Min Tang, Jinxiang Dong, Shang-Ching Chou: Real-Time Rain Simulation. CSCWD (Selected papers) 2005: 626-635
2004
38EEMin Tang, Zhengming Ying, Shang-Ching Chou, Jinxiang Dong: Real-Time Selective Scene Transfer. CSCWD (Selected papers) 2004: 299-308
2001
37 Shang-Ching Chou, Xiao-Shan Gao: Automated Reasoning in Geometry. Handbook of Automated Reasoning 2001: 707-749
2000
36 Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang: A Deductive Database Approach to Automated Geometry Theorem Proving and Discovering. J. Autom. Reasoning 25(3): 219-246 (2000)
1999
35EEJian-Xin Ge, Shang-Ching Chou, Xiao-Shan Gao: Geometric constraint satisfaction using optimization methods. Computer-Aided Design 31(14): 867-879 (1999)
1998
34EEXiao-Shan Gao, Shang-Ching Chou: Solving geometric constraint systems. I. A global propagation approach. Computer-Aided Design 30(1): 47-54 (1998)
33EEXiao-Shan Gao, Shang-Ching Chou: Solving geometric constraint systems. II. A symbolic approach and decision of Rc-constructibility. Computer-Aided Design 30(2): 115-122 (1998)
1996
32 Lu Yang, Xiao-Shan Gao, Shang-Ching Chou, Jing-Zhong Zhang: Automated Production of Readable Proofs for Theorems in Non-Euclidian Geometries. Automated Deduction in Geometry 1996: 171-188
31EEShang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang: An Introduction to Geometry Expert. CADE 1996: 235-239
30 Shang-Ching Chou, Xiao-Shan Gao: Automated Generation of Readable Proofs with Geometric Invariants I. Multiple and Shortest Proof Generation. J. Autom. Reasoning 17(3): 325-347 (1996)
29 Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang: Automated Generation of Readable Proofs with Geometric Invariants. J. Autom. Reasoning 17(3): 349-370 (1996)
1995
28 Jing-Zhong Zhang, Shang-Ching Chou, Xiao-Shan Gao: Automated Production of Traditional Proofs for Theorems in Euclidean Geometry. Ann. Math. Artif. Intell. 13(1-2): 109-138 (1995)
27 Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang: Automated Production of Traditional Proofs in Solid Geometry. J. Autom. Reasoning 14(2): 257-291 (1995)
1994
26EENicholas Freitag McPhee, Shang-Ching Chou, Xiao-Shan Gao: Mechanically Proving Geometry Theorems Using a Combination of Wu's Method and Collins' Method. CADE 1994: 401-415
1993
25 Rajiv Bagai, Vasant Shanbhogue, Jan M. Zytkow, Shang-Ching Chou: Discovery of Geometry Theorems: Avoiding Isomorphic Situation Descriptions. ICCI 1993: 354-358
24EERajiv Bagai, Vasant Shanbhogue, Jan M. Zytkow, Shang-Ching Chou: Automatic Theorem Generation in Plane Geometry. ISMIS 1993: 415-424
23EEShang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang: Automated Geometry Theorem Proving by Vector Calculation. ISSAC 1993: 284-291
22 Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang: Automated Production of Traditional Proofs for Constructive Geometry Theorems LICS 1993: 48-56
21 Shang-Ching Chou, Xiao-Shan Gao: Automated Reasoning in Differential Geometry and Mechanics Using the Characteristic Set Method. Part I. An Improved Version of Ritt-Wu's Decomposition Algorithm. J. Autom. Reasoning 10(2): 161-172 (1993)
20 Shang-Ching Chou, Xiao-Shan Gao: Automated Reasoning in Differential Geometry and Mechanics Using the Characteristic Set Method. Part II. Mechanical Theorem Proving. J. Autom. Reasoning 10(2): 173-189 (1993)
19 Xiao-Shan Gao, Shang-Ching Chou: A Zero Structure Theorem for Differential Parametric Systems. J. Symb. Comput. 16(6): 585-595 (1993)
1992
18EEShang-Ching Chou, Xiao-Shan Gao: Proving Geometry Statements of Constructive Type. CADE 1992: 20-34
17EEShang-Ching Chou: A Geometry Theorem Prover for Macintoshes. CADE 1992: 686-690
16EEXiao-Shan Gao, Shang-Ching Chou: Solving Parametric Algebraic Systems. ISSAC 1992: 335-341
15 Shang-Ching Chou, Xiao-Shan Gao: Automated Reasoning in Differential Geometry and Mechanics Using Characteristic Method. IWAR 1992: 1-12
14 Xiao-Shan Gao, Shang-Ching Chou: On the Parameteriation of Algebraic Curves. Appl. Algebra Eng. Commun. Comput. 3: 27-38 (1992)
13 Xiao-Shan Gao, Shang-Ching Chou: Implicitization of Rational Parametric Equations. J. Symb. Comput. 14(5): 459-470 (1992)
1991
12EEXiao-Shan Gao, Shang-Ching Chou: Computations with Parametric Equations. ISSAC 1991: 122-127
11 Xiao-Shan Gao, Shang-Ching Chou: On the normal parametrization of curves and surfaces. Int. J. Comput. Geometry Appl. 1(2): 125-136 (1991)
1990
10EEShang-Ching Chou, Xiao-Shan Gao: Ritt-Wu's Decomposition Algorithm and Geometry Theorem Proving. CADE 1990: 207-220
9EEShang-Ching Chou: Automated Reasoning in Geometries Using the Characteristic Set Method and Gröbner Basis Method. ISSAC 1990: 255-260
8EEShang-Ching Chou, Xiao-Shan Gao: Methods for Mechanical Geometry Formula Deriving. ISSAC 1990: 265-270
7 Shang-Ching Chou, William F. Schelter, Jin-Gen Yang: An Algorithm for Constructing Gröbner Bases from Characteristic Sets and Its Application to Geometry. Algorithmica 5(2): 147-154 (1990)
1989
6 Shang-Ching Chou, Jin-Gen Yang: On the Algebraic Formulation of Certain Geometry Statements and Mechanical Geometry Theorem Proving. Algorithmica 4(2): 237-262 (1989)
1988
5 Shang-Ching Chou: An Introduction to Wu's Method for Mechanical Theorem Proving in Geometry. J. Autom. Reasoning 4(3): 237-267 (1988)
1987
4 Shang-Ching Chou: A Method for the Mechanical Derivation of Formulas in Elementary Geometry. J. Autom. Reasoning 3(3): 291-299 (1987)
1986
3EEShang-Ching Chou: GEO-Prover - A Geometry Theorem Prover Developed at UT. CADE 1986: 679-680
2 Shang-Ching Chou, Hai-Ping Ko: On Mechanical Theorem Proving in Minkowskian Plane Geometry LICS 1986: 187-192
1 Shang-Ching Chou, William F. Schelter: Proving Geometry Theorems with Rewrite Rules. J. Autom. Reasoning 2(3): 253-273 (1986)

Coauthor Index

1Rajiv Bagai [24] [25]
2Rong-Qin Chen [40]
3Jinxiang Dong [38] [39] [40] [42] [43]
4Zhong-Xin Feng [39]
5Xiao-Shan Gao [8] [10] [11] [12] [13] [14] [15] [16] [18] [19] [20] [21] [22] [23] [26] [27] [28] [29] [30] [31] [32] [33] [34] [35] [36] [37] [41]
6Jian-Xin Ge [35]
7Hai-Ping Ko [2]
8Ming Li [41]
9Nicholas Freitag McPhee [26]
10William F. Schelter [1] [7]
11Vasant Shanbhogue [24] [25]
12Min Tang [38] [39] [40] [42] [43]
13Jin-Gen Yang [6] [7]
14Lu Yang [32]
15Zhengming Ying [38]
16Jing-Zhong Zhang [22] [23] [27] [28] [29] [31] [32] [36]
17Jan M. Zytkow [24] [25]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)