GEO-Prover - A Geometry Theorem Prover Developed at UT. - Shang-Ching Chou (CADE, 1986)

On Mechanical Theorem Proving in Minkowskian Plane Geometry - Shang-Ching Chou; Hai-Ping Ko (LICS, 1986)

Proving Geometry Theorems with Rewrite Rules. - Shang-Ching Chou; William F. Schelter (J. Autom. Reason., 1986)

A Method for the Mechanical Derivation of Formulas in Elementary Geometry. - Shang-Ching Chou (J. Autom. Reason., 1987)

An Introduction to Wu's Method for Mechanical Theorem Proving in Geometry. - Shang-Ching Chou (J. Autom. Reason., 1988)

On the Algebraic Formulation of Certain Geometry Statements and Mechanical Geometry Theorem Proving. - Shang-Ching Chou; Jin-Gen Yang (Algorithmica, 1989)

Ritt-Wu's Decomposition Algorithm and Geometry Theorem Proving. - Shang-Ching Chou; Xiao-Shan Gao (CADE, 1990)

Automated Reasoning in Geometries Using the Characteristic Set Method and Gröbner Basis Method. - Shang-Ching Chou (ISSAC, 1990)

Methods for Mechanical Geometry Formula Deriving. - Shang-Ching Chou; Xiao-Shan Gao (ISSAC, 1990)

An Algorithm for Constructing Gröbner Bases from Characteristic Sets and Its Application to Geometry. - Shang-Ching Chou; William F. Schelter; Jin-Gen Yang (Algorithmica, 1990)

Computations with Parametric Equations. - Xiao-Shan Gao; Shang-Ching Chou (ISSAC, 1991)

On the normal parametrization of curves and surfaces. - Xiao-Shan Gao; Shang-Ching Chou (Int. J. Comput. Geom. Appl., 1991)

A Geometry Theorem Prover for Macintoshes. - Shang-Ching Chou (CADE, 1992)

Proving Geometry Statements of Constructive Type. - Shang-Ching Chou; Xiao-Shan Gao (CADE, 1992)

Solving Parametric Algebraic Systems. - Xiao-Shan Gao; Shang-Ching Chou (ISSAC, 1992)

Automated Reasoning in Differential Geometry and Mechanics Using Characteristic Method. - Shang-Ching Chou; Xiao-Shan Gao (IWAR, 1992)

On the Parameterization of Algebraic Curves. - Xiao-Shan Gao; Shang-Ching Chou (Appl. Algebra Eng. Commun. Comput., 1992)

Implicitization of Rational Parametric Equations. - Xiao-Shan Gao; Shang-Ching Chou (J. Symb. Comput., 1992)

Discovery of Geometry Theorems: Avoiding Isomorphic Situation Descriptions. - Rajiv Bagai; Vasant Shanbhogue; Jan M. Zytkow; Shang-Ching Chou (ICCI, 1993)

Automatic Theorem Generation in Plane Geometry. - Rajiv Bagai; Vasant Shanbhogue; Jan M. Zytkow; Shang-Ching Chou (ISMIS, 1993)

Automated Geometry Theorem Proving by Vector Calculation. - Shang-Ching Chou; Xiao-Shan Gao; Jing-Zhong Zhang (ISSAC, 1993)

Automated Production of Traditional Proofs for Constructive Geometry Theorems - Shang-Ching Chou; Xiao-Shan Gao; Jing-Zhong Zhang (LICS, 1993)

Automated Reasoning in Differential Geometry and Mechanics Using the Characteristic Set Method. Part I. An Improved Version of Ritt-Wu's Decomposition Algorithm. - Shang-Ching Chou; Xiao-Shan Gao (J. Autom. Reason., 1993)

Automated Reasoning in Differential Geometry and Mechanics Using the Characteristic Set Method. Part II. Mechanical Theorem Proving. - Shang-Ching Chou; Xiao-Shan Gao (J. Autom. Reason., 1993)

A Zero Structure Theorem for Differential Parametric Systems. - Xiao-Shan Gao; Shang-Ching Chou (J. Symb. Comput., 1993)

Machine proofs in geometry - automated production of readable proofs for geometry theorems. - Shang-Ching Chou; Xiao-Shan Gao; Jing-Zhong Zhang (World Scientific, 1994)

Mechanically Proving Geometry Theorems Using a Combination of Wu's Method and Collins' Method. - Nicholas Freitag McPhee; Shang-Ching Chou; Xiao-Shan Gao (CADE, 1994)

Automated Production of Traditional Proofs for Theorems in Euclidean Geometry. - Jing-Zhong Zhang; Shang-Ching Chou; Xiao-Shan Gao (Ann. Math. Artif. Intell., 1995)

Automated Production of Traditional Proofs in Solid Geometry. - Shang-Ching Chou; Xiao-Shan Gao; Jing-Zhong Zhang (J. Autom. Reason., 1995)

Automated Production of Readable Proofs for Theorems in Non-Euclidian Geometries. - Lu Yang; Xiao-Shan Gao; Shang-Ching Chou; Jing-Zhong Zhang (Automated Deduction in Geometry, 1996)

An Introduction to Geometry Expert. - Shang-Ching Chou; Xiao-Shan Gao; Jing-Zhong Zhang (CADE, 1996)

Automated Generation of Readable Proofs with Geometric Invariants I. Multiple and Shortest Proof Generation. - Shang-Ching Chou; Xiao-Shan Gao (J. Autom. Reason., 1996)

Automated Generation of Readable Proofs with Geometric Invariants. - Shang-Ching Chou; Xiao-Shan Gao; Jing-Zhong Zhang (J. Autom. Reason., 1996)

Solving geometric constraint systems. I. A global propagation approach. - Xiao-Shan Gao; Shang-Ching Chou (Comput. Aided Des., 1998)

Solving geometric constraint systems. II. A symbolic approach and decision of Rc-constructibility. - Xiao-Shan Gao; Shang-Ching Chou (Comput. Aided Des., 1998)

Geometric constraint satisfaction using optimization methods. - Jian-Xin Ge; Shang-Ching Chou; Xiao-Shan Gao (Comput. Aided Des., 1999)

A Deductive Database Approach to Automated Geometry Theorem Proving and Discovering. - Shang-Ching Chou; Xiao-Shan Gao; Jing-Zhong Zhang (J. Autom. Reason., 2000)

Automated Reasoning in Geometry. - Shang-Ching Chou; Xiao-Shan Gao (Handbook of Automated Reasoning, 2001)

Real-Time Selective Scene Transfer. - Min Tang 001; Zhengming Ying; Shang-Ching Chou; Jinxiang Dong (CSCWD (Selected papers), 2004)

Collaborative virtual environment for feature based modeling. - Min Tang 001; Shang-Ching Chou; Jinxiang Dong (VRCAI, 2004)

Real-time rain simulation in cartoon style. - Zhong-Xin Feng; Min Tang 001; Jinxiang Dong; Shang-Ching Chou (CAD/Graphics, 2005)

An Effective Approach to Compression and Transmission of Feature-Based Models. - Rong-Qin Chen; Min Tang 001; Jinxiang Dong; Shang-Ching Chou (CSCWD (Selected papers), 2005)

Model compression and transmission in collaborative CAD. - Rong-Qin Chen; Min Tang 001; Jinxiang Dong; Shang-Ching Chou (CSCWD (1), 2005)

Real-Time Rain Simulation. - Zhong-Xin Feng; Min Tang 001; Jinxiang Dong; Shang-Ching Chou (CSCWD (Selected papers), 2005)

Real-time rendering of raining animation based on the graphics hardware acceleration. - Zhong-Xin Feng; Min Tang 001; Jinxiang Dong; Shang-Ching Chou (CSCWD (2), 2005)

Concurrency conflicts solving for collaborative feature modeling. - Min Tang 001; Shang-Ching Chou; Jinxiang Dong (CSCWD (1), 2005)

Real-Time Shadow Volume Algorithm for Subdivision Surface Based Models. - Min Tang 001; Jinxiang Dong; Shang-Ching Chou (Computer Graphics International, 2006)

Quadratic approximation to plane parametric curves and its application in approximate implicitization. - Ming Li 017; Xiao-Shan Gao; Shang-Ching Chou (Vis. Comput., 2006)

Conflicts classification and solving for collaborative feature modeling. - Min Tang 001; Shang-Ching Chou; Jinxiang Dong (Adv. Eng. Informatics, 2007)

An Introduction to Java Geometry Expert - (Extended Abstract). - Zheng Ye; Shang-Ching Chou; Xiao-Shan Gao (Automated Deduction in Geometry, 2008)

Visually Dynamic Presentation of Proofs in Plane Geometry - Part 1. Basic Features and the Manual Input Method. - Zheng Ye; Shang-Ching Chou; Xiao-Shan Gao (J. Autom. Reason., 2010)

Visually Dynamic Presentation of Proofs in Plane Geometry - Part 2. Automated Generation of Visually Dynamic Presentations with the Full-Angle Method and the Deductive Database Method. - Zheng Ye; Shang-Ching Chou; Xiao-Shan Gao (J. Autom. Reason., 2010)