Shang-Ching Chou

Publication Activity (10 Years)

Years Active: 1986-2010
Publications (10 Years): 0

Publications

Zheng Ye, Shang-Ching Chou, Xiao-Shan Gao
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. J. Autom. Reason. 45 (3) (2010)
Zheng Ye, Shang-Ching Chou, Xiao-Shan Gao
Visually Dynamic Presentation of Proofs in Plane Geometry - Part 1. Basic Features and the Manual Input Method. J. Autom. Reason. 45 (3) (2010)
Zheng Ye, Shang-Ching Chou, Xiao-Shan Gao
An Introduction to Java Geometry Expert - (Extended Abstract). Automated Deduction in Geometry (2008)
Min Tang, Shang-Ching Chou, Jinxiang Dong
Conflicts classification and solving for collaborative feature modeling. Adv. Eng. Informatics 21 (2) (2007)
Ming Li, Xiao-Shan Gao, Shang-Ching Chou
Quadratic approximation to plane parametric curves and its application in approximate implicitization. Vis. Comput. 22 (9-11) (2006)
Min Tang, Jinxiang Dong, Shang-Ching Chou
Real-Time Shadow Volume Algorithm for Subdivision Surface Based Models. Computer Graphics International (2006)
Zhong-Xin Feng, Min Tang, Jinxiang Dong, Shang-Ching Chou
Real-time rendering of raining animation based on the graphics hardware acceleration. CSCWD (2) (2005)
Zhong-Xin Feng, Min Tang, Jinxiang Dong, Shang-Ching Chou
Real-time rain simulation in cartoon style. CAD/Graphics (2005)
Min Tang, Shang-Ching Chou, Jinxiang Dong
Concurrency conflicts solving for collaborative feature modeling. CSCWD (1) (2005)
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)
Rong-Qin Chen, Min Tang, Jinxiang Dong, Shang-Ching Chou
Model compression and transmission in collaborative CAD. CSCWD (1) (2005)
Zhong-Xin Feng, Min Tang, Jinxiang Dong, Shang-Ching Chou
Real-Time Rain Simulation. CSCWD (Selected papers) (2005)
Min Tang, Shang-Ching Chou, Jinxiang Dong
Collaborative virtual environment for feature based modeling. VRCAI (2004)
Min Tang, Zhengming Ying, Shang-Ching Chou, Jinxiang Dong
Real-Time Selective Scene Transfer. CSCWD (Selected papers) (2004)
Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang
A Deductive Database Approach to Automated Geometry Theorem Proving and Discovering. J. Autom. Reason. 25 (3) (2000)
Jian-Xin Ge, Shang-Ching Chou, Xiao-Shan Gao
Geometric constraint satisfaction using optimization methods. Comput. Aided Des. 31 (14) (1999)
Xiao-Shan Gao, Shang-Ching Chou
Solving geometric constraint systems. I. A global propagation approach. Comput. Aided Des. 30 (1) (1998)
Xiao-Shan Gao, Shang-Ching Chou
Solving geometric constraint systems. II. A symbolic approach and decision of Rc-constructibility. Comput. Aided Des. 30 (2) (1998)
Shang-Ching Chou, Xiao-Shan Gao
Automated Generation of Readable Proofs with Geometric Invariants I. Multiple and Shortest Proof Generation. J. Autom. Reason. 17 (3) (1996)
Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang
An Introduction to Geometry Expert. CADE (1996)
Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang
Automated Generation of Readable Proofs with Geometric Invariants. J. Autom. Reason. 17 (3) (1996)
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)
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) (1995)
Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang
Automated Production of Traditional Proofs in Solid Geometry. J. Autom. Reason. 14 (2) (1995)
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)
Rajiv Bagai, Vasant Shanbhogue, Jan M. Zytkow, Shang-Ching Chou
Discovery of Geometry Theorems: Avoiding Isomorphic Situation Descriptions. ICCI (1993)
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. Reason. 10 (2) (1993)
Xiao-Shan Gao, Shang-Ching Chou
A Zero Structure Theorem for Differential Parametric Systems. J. Symb. Comput. 16 (6) (1993)
Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang
Automated Production of Traditional Proofs for Constructive Geometry Theorems LICS (1993)
Rajiv Bagai, Vasant Shanbhogue, Jan M. Zytkow, Shang-Ching Chou
Automatic Theorem Generation in Plane Geometry. ISMIS (1993)
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. Reason. 10 (2) (1993)
Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang
Automated Geometry Theorem Proving by Vector Calculation. ISSAC (1993)
Shang-Ching Chou
A Geometry Theorem Prover for Macintoshes. CADE (1992)
Xiao-Shan Gao, Shang-Ching Chou
On the Parameterization of Algebraic Curves. Appl. Algebra Eng. Commun. Comput. 3 (1992)
Xiao-Shan Gao, Shang-Ching Chou
Implicitization of Rational Parametric Equations. J. Symb. Comput. 14 (5) (1992)
Shang-Ching Chou, Xiao-Shan Gao
Automated Reasoning in Differential Geometry and Mechanics Using Characteristic Method. IWAR (1992)
Shang-Ching Chou, Xiao-Shan Gao
Proving Geometry Statements of Constructive Type. CADE (1992)
Xiao-Shan Gao, Shang-Ching Chou
Solving Parametric Algebraic Systems. ISSAC (1992)
Xiao-Shan Gao, Shang-Ching Chou
On the normal parametrization of curves and surfaces. Int. J. Comput. Geom. Appl. 1 (2) (1991)
Xiao-Shan Gao, Shang-Ching Chou
Computations with Parametric Equations. ISSAC (1991)
Shang-Ching Chou
Automated Reasoning in Geometries Using the Characteristic Set Method and Gröbner Basis Method. ISSAC (1990)
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) (1990)
Shang-Ching Chou, Xiao-Shan Gao
Methods for Mechanical Geometry Formula Deriving. ISSAC (1990)
Shang-Ching Chou, Xiao-Shan Gao
Ritt-Wu's Decomposition Algorithm and Geometry Theorem Proving. CADE (1990)
Shang-Ching Chou, Jin-Gen Yang
On the Algebraic Formulation of Certain Geometry Statements and Mechanical Geometry Theorem Proving. Algorithmica 4 (2) (1989)
Shang-Ching Chou
An Introduction to Wu's Method for Mechanical Theorem Proving in Geometry. J. Autom. Reason. 4 (3) (1988)
Shang-Ching Chou
A Method for the Mechanical Derivation of Formulas in Elementary Geometry. J. Autom. Reason. 3 (3) (1987)
Shang-Ching Chou
GEO-Prover - A Geometry Theorem Prover Developed at UT. CADE (1986)
Shang-Ching Chou, Hai-Ping Ko
On Mechanical Theorem Proving in Minkowskian Plane Geometry LICS (1986)
Shang-Ching Chou, William F. Schelter
Proving Geometry Theorems with Rewrite Rules. J. Autom. Reason. 2 (3) (1986)