# Shang-Ching Chou

According to our database

Collaborative distances:

^{1}, Shang-Ching Chou authored at least 52 papers between 1986 and 2010.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Dataset Other## Links

#### On csauthors.net:

## Bibliography

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.

J. Autom. Reason., 2010

Visually Dynamic Presentation of Proofs in Plane Geometry - Part 1. Basic Features and the Manual Input Method.

J. Autom. Reason., 2010

2008

Proceedings of the Automated Deduction in Geometry - 7th International Workshop, 2008

2007

Adv. Eng. Informatics, 2007

2006

Quadratic approximation to plane parametric curves and its application in approximate implicitization.

Vis. Comput., 2006

Proceedings of the Advances in Computer Graphics, 2006

2005

Proceedings of the Ninth International Conference on Computer Supported Cooperative Work in Design, 2005

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

Proceedings of the Ninth International Conference on Computer Supported Cooperative Work in Design, 2005

Proceedings of the Computer Supported Cooperative Work in Design II, 2005

Proceedings of the Computer Supported Cooperative Work in Design II, 2005

Proceedings of the 9th International Conference on Computer-Aided Design and Computer Graphics, 2005

2004

Proceedings of the Proceedings VRCAI 2004, 2004

Proceedings of the Computer Supported Cooperative Work in Design I, 2004

2001

Proceedings of the Handbook of Automated Reasoning (in 2 volumes), 2001

2000

A Deductive Database Approach to Automated Geometry Theorem Proving and Discovering.

J. Autom. Reason., 2000

1999

Comput. Aided Des., 1999

1998

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

Comput. Aided Des., 1998

Comput. Aided Des., 1998

1996

J. Autom. Reason., 1996

Automated Generation of Readable Proofs with Geometric Invariants I. Multiple and Shortest Proof Generation.

J. Autom. Reason., 1996

Proceedings of the Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30, 1996

Proceedings of the Automated Deduction in Geometry, 1996

1995

J. Autom. Reason., 1995

Ann. Math. Artif. Intell., 1995

1994

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

Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994

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

Series on applied mathematics 6, World Scientific, ISBN: 978-981-02-1584-2, 1994

1993

J. Symb. Comput., 1993

Automated Reasoning in Differential Geometry and Mechanics Using the Characteristic Set Method. Part II. Mechanical Theorem Proving.

J. Autom. Reason., 1993

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., 1993

Proceedings of the Eighth Annual Symposium on Logic in Computer Science (LICS '93), 1993

Proceedings of the 1993 International Symposium on Symbolic and Algebraic Computation, 1993

Proceedings of the Methodologies for Intelligent Systems, 7th International Symposium, 1993

Discovery of Geometry Theorems: Avoiding Isomorphic Situation Descriptions.

Proceedings of the Computing and Information, 1993

1992

J. Symb. Comput., 1992

Appl. Algebra Eng. Commun. Comput., 1992

Automated Reasoning in Differential Geometry and Mechanics Using Characteristic Method.

Proceedings of the Automated Reasoning, 1992

Proceedings of the 1992 International Symposium on Symbolic and Algebraic Computation, 1992

Proceedings of the Automated Deduction, 1992

Proceedings of the Automated Deduction, 1992

1991

Int. J. Comput. Geom. Appl., 1991

Proceedings of the 1991 International Symposium on Symbolic and Algebraic Computation, 1991

1990

An Algorithm for Constructing Gröbner Bases from Characteristic Sets and Its Application to Geometry.

Algorithmica, 1990

Proceedings of the International Symposium on Symbolic and Algebraic Computation, 1990

Automated Reasoning in Geometries Using the Characteristic Set Method and Gröbner Basis Method.

Proceedings of the International Symposium on Symbolic and Algebraic Computation, 1990

Proceedings of the 10th International Conference on Automated Deduction, 1990

1989

On the Algebraic Formulation of Certain Geometry Statements and Mechanical Geometry Theorem Proving.

Algorithmica, 1989

1988

J. Autom. Reason., 1988

1987

J. Autom. Reason., 1987

1986

J. Autom. Reason., 1986

On Mechanical Theorem Proving in Minkowskian Plane Geometry

Proceedings of the Symposium on Logic in Computer Science (LICS '86), 1986

Proceedings of the 8th International Conference on Automated Deduction, Oxford, England, July 27, 1986