| * | 2007 |
|---|
| 43 | EE | Min Tang,
Shang-Ching Chou,
Jinxiang Dong:
Conflicts classification and solving for collaborative feature modeling.
Advanced Engineering Informatics 21(2): 211-219 (2007) |
| 2006 |
|---|
| 42 | EE | Min Tang,
Jinxiang Dong,
Shang-Ching Chou:
Real-Time Shadow Volume Algorithm for Subdivision Surface Based Models.
Computer Graphics International 2006: 538-545 |
| 41 | EE | Ming 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 |
|---|
| 40 | EE | Rong-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 |
| 39 | EE | Zhong-Xin Feng,
Min Tang,
Jinxiang Dong,
Shang-Ching Chou:
Real-Time Rain Simulation.
CSCWD (Selected papers) 2005: 626-635 |
| 2004 |
|---|
| 38 | EE | Min 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 |
|---|
| 35 | EE | Jian-Xin Ge,
Shang-Ching Chou,
Xiao-Shan Gao:
Geometric constraint satisfaction using optimization methods.
Computer-Aided Design 31(14): 867-879 (1999) |
| 1998 |
|---|
| 34 | EE | Xiao-Shan Gao,
Shang-Ching Chou:
Solving geometric constraint systems. I. A global propagation approach.
Computer-Aided Design 30(1): 47-54 (1998) |
| 33 | EE | Xiao-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 |
| 31 | EE | Shang-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 |
|---|
| 26 | EE | Nicholas 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 |
| 24 | EE | Rajiv Bagai,
Vasant Shanbhogue,
Jan M. Zytkow,
Shang-Ching Chou:
Automatic Theorem Generation in Plane Geometry.
ISMIS 1993: 415-424 |
| 23 | EE | Shang-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 |
|---|
| 18 | EE | Shang-Ching Chou,
Xiao-Shan Gao:
Proving Geometry Statements of Constructive Type.
CADE 1992: 20-34 |
| 17 | EE | Shang-Ching Chou:
A Geometry Theorem Prover for Macintoshes.
CADE 1992: 686-690 |
| 16 | EE | Xiao-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 |
|---|
| 12 | EE | Xiao-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 |
|---|
| 10 | EE | Shang-Ching Chou,
Xiao-Shan Gao:
Ritt-Wu's Decomposition Algorithm and Geometry Theorem Proving.
CADE 1990: 207-220 |
| 9 | EE | Shang-Ching Chou:
Automated Reasoning in Geometries Using the Characteristic Set Method and Gröbner Basis Method.
ISSAC 1990: 255-260 |
| 8 | EE | Shang-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 |
|---|
| 3 | EE | Shang-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) |
