Shang-Ching Chou

J. Autom. Reason., 2010

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

[BibT_eX]

[DOI]

Zheng Ye

J. Autom. Reason., 2010

2008

An Introduction to Java Geometry Expert - (Extended Abstract).

[BibT_eX]

[DOI]

Zheng Ye

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

2007

Conflicts classification and solving for collaborative feature modeling.

[BibT_eX]

[DOI]

Adv. Eng. Informatics, 2007

2006

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

[BibT_eX]

[DOI]

Ming Li

Vis. Comput., 2006

Real-Time Shadow Volume Algorithm for Subdivision Surface Based Models.

[BibT_eX]

[DOI]

Proceedings of the Advances in Computer Graphics, 2006

2005

Concurrency conflicts solving for collaborative feature modeling.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

Real-Time Rain Simulation.

[BibT_eX]

[DOI]

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

Model compression and transmission in collaborative CAD.

[BibT_eX]

[DOI]

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

An Effective Approach to Compression and Transmission of Feature-Based Models.

[BibT_eX]

[DOI]

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

Real-time rain simulation in cartoon style.

[BibT_eX]

[DOI]

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

2004

Collaborative virtual environment for feature based modeling.

[BibT_eX]

[DOI]

Proceedings of the Proceedings VRCAI 2004, 2004

Real-Time Selective Scene Transfer.

[BibT_eX]

[DOI]

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

2001

Automated Reasoning in Geometry.

[BibT_eX]

[DOI]

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

2000

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

[BibT_eX]

[DOI]

J. Autom. Reason., 2000

1999

Geometric constraint satisfaction using optimization methods.

[BibT_eX]

[DOI]

Jian-Xin Ge

Comput. Aided Des., 1999

1998

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

[BibT_eX]

[DOI]

Comput. Aided Des., 1998

Solving geometric constraint systems. I. A global propagation approach.

[BibT_eX]

[DOI]

Comput. Aided Des., 1998

1996

Automated Generation of Readable Proofs with Geometric Invariants.

[BibT_eX]

[DOI]

J. Autom. Reason., 1996

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

[BibT_eX]

[DOI]

J. Autom. Reason., 1996

An Introduction to Geometry Expert.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction in Geometry, 1996

1995

Automated Production of Traditional Proofs in Solid Geometry.

[BibT_eX]

[DOI]

J. Autom. Reason., 1995

Automated Production of Traditional Proofs for Theorems in Euclidean Geometry.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 1995

1994

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

[BibT_eX]

[DOI]

Nicholas Freitag McPhee

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.

[BibT_eX]

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

1993

A Zero Structure Theorem for Differential Parametric Systems.

[BibT_eX]

[DOI]

J. Symb. Comput., 1993

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

J. Autom. Reason., 1993

Automated Production of Traditional Proofs for Constructive Geometry Theorems

[BibT_eX]

[DOI]

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

Automated Geometry Theorem Proving by Vector Calculation.

[BibT_eX]

[DOI]

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

Automatic Theorem Generation in Plane Geometry.

[BibT_eX]

[DOI]

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

Discovery of Geometry Theorems: Avoiding Isomorphic Situation Descriptions.

[BibT_eX]

Proceedings of the Computing and Information, 1993

1992

Implicitization of Rational Parametric Equations.

[BibT_eX]

[DOI]

J. Symb. Comput., 1992

On the Parameterization of Algebraic Curves.

[BibT_eX]

[DOI]

Appl. Algebra Eng. Commun. Comput., 1992

Automated Reasoning in Differential Geometry and Mechanics Using Characteristic Method.

[BibT_eX]

Proceedings of the Automated Reasoning, 1992

Solving Parametric Algebraic Systems.

[BibT_eX]

[DOI]

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

Proving Geometry Statements of Constructive Type.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction, 1992

A Geometry Theorem Prover for Macintoshes.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction, 1992

1991

On the normal parametrization of curves and surfaces.

[BibT_eX]

[DOI]

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

Computations with Parametric Equations.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

William F. Schelter

Jin-Gen Yang

Algorithmica, 1990

Methods for Mechanical Geometry Formula Deriving.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

Ritt-Wu's Decomposition Algorithm and Geometry Theorem Proving.

[BibT_eX]

[DOI]

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

1989

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

[BibT_eX]

[DOI]

Jin-Gen Yang

Algorithmica, 1989

1988

An Introduction to Wu's Method for Mechanical Theorem Proving in Geometry.

[BibT_eX]

[DOI]

J. Autom. Reason., 1988

1987

A Method for the Mechanical Derivation of Formulas in Elementary Geometry.

[BibT_eX]

[DOI]

J. Autom. Reason., 1987

1986

Proving Geometry Theorems with Rewrite Rules.

[BibT_eX]

[DOI]

William F. Schelter

J. Autom. Reason., 1986

On Mechanical Theorem Proving in Minkowskian Plane Geometry

[BibT_eX]

Hai-Ping Ko

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

GEO-Prover - A Geometry Theorem Prover Developed at UT.

[BibT_eX]

[DOI]