S. Chou

发表

Automated reasoning in geometries using the characteristic set method and Gröbner basis method

Shang-Ching Chou, S. Chou, 1990, ISSAC '90.

Mechanical Geometry Theorem Proving

S. Chou, 1987 .

Mechanical Formula Derivation in Elementary Geometries

S. Chou, Xiao Gao, 1989 .

2 Preliminaries on Wu-Ritt ’ s Decomposition Algorithm

S. Chou, X. Gao, 2004 .

Ritt-Wu's Decomposition Algorithm and Geometry Theorem Proving

Xiao-Shan Gao, Shang-Ching Chou, S. Chou, 1990, CADE.

Chapter 20 GEOMETRIC THEOREM PROVERS AND ALGEBRAIC EQUATIONS SOLVERS

Dongming Wang, S. Chou, Zhuojun Liu, 2006 .

Java Geometry Expert and its Applications to Geometry Education

S. Chou, 2005 .

Automated Generation of Planar Geometry Olympiad Problems

S. Chou, Master Thesis, Xiao Gao, 2020 .

Automated Reasoning in Geometry

Xiao-Shan Gao, Shang-Ching Chou, S. Chou, 2001, Handbook of Automated Reasoning.

Computations with parametric equations

Xiao-Shan Gao, Shang-Ching Chou, S. Chou, 1991, ISSAC '91.

Independent Parameters, Inversions and Proper Parameterization

S. Chou, Xiao Gao, 1990 .

Implicitization of Rational Parametric Equations

Xiao-Shan Gao, Shang-Ching Chou, S. Chou, 1992, J. Symb. Comput..

World Scientific

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.

Geometric constraint satisfaction using optimization methods

Xiao-Shan Gao, Shang-Ching Chou, Jian-Xin Ge, 1999, Comput. Aided Des..

Automated generation of Kempe linkages for algebraic curves and surfaces

Xiao-Shan Gao, Shang-Ching Chou, Jian-Xin Ge, 2001 .

Automated generation of readable proofs with geometric invariants

Xiao-Shan Gao, Shang-Ching Chou, S. Chou, 1996, Journal of Automated Reasoning.

A Deductive Database Approach to Automated Geometry Theorem Proving and Discovering

Xiao-Shan Gao, Shang-Ching Chou, Jing-Zhong Zhang, 2000, Journal of Automated Reasoning.

Automated reasoning in differential geometry and mechanics using the characteristic set method

Xiao-Shan Gao, Shang-Ching Chou, S. Chou, 1993, Journal of Automated Reasoning.

Automated reasoning in differential geometry and mechanics using the characteristic set method

Xiao-Shan Gao, Shang-Ching Chou, S. Chou, 1993, Journal of Automated Reasoning.

Visually Dynamic Presentation of Proofs in Plane Geometry

Xiao-Shan Gao, Zheng Ye, Shang-Ching Chou, 2010, Journal of Automated Reasoning.

An Introduction to Java Geometry Expert - (Extended Abstract)

Xiao-Shan Gao, Zheng Ye, Shang-Ching Chou, 2008, Automated Deduction in Geometry.

Automated Production of Readable Proofs for Theorems in Non-Euclidian Geometries

Xiao-Shan Gao, Lu Yang, Shang-Ching Chou, 1996, Automated Deduction in Geometry.

An Introduction to Geometry Expert

Xiao-Shan Gao, Shang-Ching Chou, Jing-Zhong Zhang, 1996, CADE.

Automated production of traditional proofs in solid geometry

Xiao-Shan Gao, Shang-Ching Chou, Jing-Zhong Zhang, 1995, Journal of Automated Reasoning.

Automated production of traditional proofs for theorems in Euclidean geometry I. The Hilbert intersection point theorems

Xiao-Shan Gao, Shang-Ching Chou, Jing-Zhong Zhang, 1995, Annals of Mathematics and Artificial Intelligence.

Automated production of traditional proofs for constructive geometry theorems

Shang-Ching Chou, Jing-Zhong Zhang, Xiao-Shan Gao, 1993, [1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science.

An introduction to Wu's method for mechanical theorem proving in geometry

Shang-Ching Chou, S. Chou, 1988, Journal of Automated Reasoning.

An Introduction to Java Geometry Expert

Shang-Ching Chou, S. Chou, Xiao Gao, 2022 .

On the parameterization of algebraic curves

Xiao-Shan Gao, Shang-Ching Chou, S. Chou, 1992, Applicable Algebra in Engineering, Communication and Computing.

Solving geometric constraint systems. II. A symbolic approach and decision of Rc-constructibility

Xiao-Shan Gao, Shang-Ching Chou, S. Chou, 1998, Comput. Aided Des..

Solving parametric algebraic systems

Xiao-Shan Gao, Shang-Ching Chou, S. Chou, 1992, ISSAC '92.

On the Dimension of an Arbitrary Ascending Chain

Xiao-Shan Gao, Shang-Ching Chou, S. Chou, 2006 .

Methods for mechanical geometry formula deriving

Xiao-Shan Gao, Shang-Ching Chou, S. Chou, 1990, ISSAC '90.

Mechanically Proving Geometry Theorems Using a Combination of Wu's Method and Collins' Method

Xiao-Shan Gao, Nicholas Freitag McPhee, Shang-Ching Chou, 1994, CADE.

A Zero Structure Theorem for Differential Parametric Systems

Xiao-Shan Gao, Shang-Ching Chou, S. Chou, 1993, J. Symb. Comput..

A Class of Geometry Statements of Constructive Type and Geometry TheoremProving

S. Chou, X. Gao, Shang Chou, 1989 .

Ritt-Wu ’ s Decomposition Algorithm ∗

S. Chou, X. Gao, 2004 .

Characteristic Sets and Gröbner Bases in Geometry Theorem Proving

Shang-Ching Chou, William F. Schelter, Jin-Gen Yang, 1989 .

On the algebraic formulation of certain geometry statements and mechanical geometry theorem proving

Shang-Ching Chou, Jin-Gen Yang, S. Chou, 1989, Algorithmica.

On Mechanical Theorem Proving in Minkowskian Plane Geometry

Shang-Ching Chou, Hai-Ping Ko, S. Chou, 1986, Logic in Computer Science.

Machine proofs in geometry - automated production of readable proofs for geometry theorems

S. Chou, Jing-Zhong Zhang, Xiao-Shan Gao, 1994, Series on applied mathematics.

Real-time rendering of raining animation based on the graphics hardware acceleration

Jinxiang Dong, Shang-Ching Chou, Min Tang, 2005, Proceedings of the Ninth International Conference on Computer Supported Cooperative Work in Design, 2005..

Real-Time Rain Simulation

Jinxiang Dong, Shang-Ching Chou, Min Tang, 2005, CSCWD.