Shang-Ching Chou

Available identifiers

zbMath Open chou.shangchingMaRDI QIDQ242601

List of research outcomes

Publication	Date of Publication	Type
Ritt-Wu's decomposition algorithm and geometry theorem proving	2023-04-28	Paper
Mechanically proving geometry theorems using a combination of Wu's method and Collins' method	2020-01-21	Paper
An introduction to geometry expert	2019-01-15	Paper
An Introduction to Java Geometry Expert	2011-05-26	Paper
Visually dynamic presentation of proofs in plane geometry. I: Basic features and the manual input method	2011-01-12	Paper
Visually dynamic presentation of proofs in plane geometry. II: Automated generation of visually dynamic presentations with the full-angle method and the deductive database method	2011-01-12	Paper
Geometric constraint satisfaction using optimization methods.	2003-10-14	Paper
Automated reasoning in geometry	2002-08-27	Paper
Automated generation of Kempe linkages for algebraic curves and surfaces	2002-07-02	Paper
https://portal.mardi4nfdi.de/entity/Q4234209	2001-08-28	Paper
A deductive database approach to automated geometry theorem proving and discovering	2001-06-10	Paper
https://portal.mardi4nfdi.de/entity/Q4264711	1999-10-07	Paper
https://portal.mardi4nfdi.de/entity/Q4234261	1999-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4237379	1999-07-25	Paper
https://portal.mardi4nfdi.de/entity/Q3838777	1999-04-19	Paper
On the theory of resolvents and its applications.	1999-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3126572	1997-07-06	Paper
Automated generation of readable proofs with geometric invariants. II: Theorem proving with full-angles	1997-02-20	Paper
Automated production of traditional proofs for theorems in Euclidean geometry. I: The Hilbert intersection point theorems	1997-01-27	Paper
On the dimension of an arbitrary ascending chain	1996-09-11	Paper
Automated generation of readable proofs with geometric invariants. I: Multiple and shortest proof generation	1996-01-01	Paper
Machine Proofs in Geometry	1995-12-06	Paper
Automated production of traditional proofs in solid geometry	1995-11-09	Paper
A zero structure theorem for differential parametric systems	1995-01-31	Paper
https://portal.mardi4nfdi.de/entity/Q4279027	1994-02-24	Paper
Automated reasoning in differential geometry and mechanics using the characteristic set method. I: An improved version of Ritt-Wu's decomposition algorithm	1994-01-23	Paper
Automated reasoning in differential geometry and mechanics using the characteristic set method. II: Mechanical theorem proving	1994-01-23	Paper
Implicitization of rational parametric equations	1993-05-16	Paper
On the parameterization of algebraic curves	1993-01-16	Paper
https://portal.mardi4nfdi.de/entity/Q3994509	1992-09-17	Paper
ON THE NORMAL PARAMETERIZATION OF CURVES AND SURFACES	1992-06-27	Paper
An algorithm for constructing Gröbner bases from characteristic sets and its application to geometry	1990-01-01	Paper
A decision method for certain algebraic geometry problems	1989-01-01	Paper
On the algebraic formulation of certain geometry statements and mechanical geometry theorem proving	1989-01-01	Paper
An introduction to Wu's method for mechanical theorem proving in geometry	1988-01-01	Paper
A method for the mechanical derivation of formulas in elementary geometry	1987-01-01	Paper
Proving geometry theorems with rewrite rules	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3700871	1984-01-01	Paper

Research outcomes over time

This page was built for person: Shang-Ching Chou