Shang-Ching Chou - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 52 from 52

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 MethodZheng Ye, Shang-Ching Chou, Xiao-Shan Gao. JAR, 45(3):243-266, 2010. [doi]

Visually Dynamic Presentation of Proofs in Plane Geometry - Part 1. Basic Features and the Manual Input MethodZheng Ye, Shang-Ching Chou, Xiao-Shan Gao. JAR, 45(3):213-241, 2010. [doi]

2008

An Introduction to Java Geometry Expert - (Extended Abstract)Zheng Ye, Shang-Ching Chou, Xiao-Shan Gao. adg 2011: 189-195 [doi]

2007

Conflicts classification and solving for collaborative feature modelingMin Tang, Shang-Ching Chou, Jinxiang Dong. aei, 21(2):211-219, 2007. [doi]

2006

Quadratic approximation to plane parametric curves and its application in approximate implicitizationMing Li, Xiao-Shan Gao, Shang-Ching Chou. vc, 22(9-11):906-917, 2006. [doi]

Real-Time Shadow Volume Algorithm for Subdivision Surface Based ModelsMin Tang, Jinxiang Dong, Shang-Ching Chou. icgi 2006: 538-545 [doi]

2005

2004

Collaborative virtual environment for feature based modelingMin Tang, Shang-Ching Chou, Jinxiang Dong. vrcai 2004: 120-126 [doi]

Real-Time Selective Scene TransferMin Tang, Zhengming Ying, Shang-Ching Chou, Jinxiang Dong. cscwd 2005: 299-308 [doi]

2001

Automated Reasoning in GeometryShang-Ching Chou, Xiao-Shan Gao. In John Alan Robinson, Andrei Voronkov, editors, Handbook of Automated Reasoning (in 2 volumes). pages 707-749, Elsevier and MIT Press, 2001.

2000

A Deductive Database Approach to Automated Geometry Theorem Proving and DiscoveringShang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang. JAR, 25(3):219-246, 2000.

1999

Geometric constraint satisfaction using optimization methodsJian-Xin Ge, Shang-Ching Chou, Xiao-Shan Gao. cad, 31(14):867-879, 1999. [doi]

1998

Solving geometric constraint systems. I. A global propagation approachXiao-Shan Gao, Shang-Ching Chou. cad, 30(1):47-54, 1998. [doi]

Solving geometric constraint systems. II. A symbolic approach and decision of Rc-constructibilityXiao-Shan Gao, Shang-Ching Chou. cad, 30(2):115-122, 1998. [doi]

1996

1995

Automated Production of Traditional Proofs in Solid GeometryShang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang. JAR, 14(2):257-291, 1995.

Automated Production of Traditional Proofs for Theorems in Euclidean GeometryJing-Zhong Zhang, Shang-Ching Chou, Xiao-Shan Gao. AMAI, 13(1-2):109-138, 1995.

1994

Machine proofs in geometry - automated production of readable proofs for geometry theoremsShang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang. Volume 6 of Series on applied mathematics, World Scientific, 1994.

Mechanically Proving Geometry Theorems Using a Combination of Wu s Method and Collins MethodNicholas Freitag McPhee, Shang-Ching Chou, Xiao-Shan Gao. cade 1994: 401-415

1993

Discovery of Geometry Theorems: Avoiding Isomorphic Situation DescriptionsRajiv Bagai, Vasant Shanbhogue, Jan M. Zytkow, Shang-Ching Chou. icci 1993: 354-358

Automatic Theorem Generation in Plane GeometryRajiv Bagai, Vasant Shanbhogue, Jan M. Zytkow, Shang-Ching Chou. ismis 1993: 415-424

Automated Reasoning in Differential Geometry and Mechanics Using the Characteristic Set Method. Part I. An Improved Version of Ritt-Wu s Decomposition AlgorithmShang-Ching Chou, Xiao-Shan Gao. JAR, 10(2):161-172, 1993.

Automated Reasoning in Differential Geometry and Mechanics Using the Characteristic Set Method. Part II. Mechanical Theorem ProvingShang-Ching Chou, Xiao-Shan Gao. JAR, 10(2):173-189, 1993.

Automated Geometry Theorem Proving by Vector CalculationShang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang. issac 1993: 284-291 [doi]

Automated Production of Traditional Proofs for Constructive Geometry TheoremsShang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang. lics 1993: 48-56

A Zero Structure Theorem for Differential Parametric SystemsXiao-Shan Gao, Shang-Ching Chou. JSC, 16(6):585-595, 1993.

1992

1991

On the normal parametrization of curves and surfacesXiao-Shan Gao, Shang-Ching Chou. ijcga, 1(2):125-136, 1991.

Computations with Parametric EquationsXiao-Shan Gao, Shang-Ching Chou. issac 1991: 122-127 [doi]

1990

An Algorithm for Constructing Gröbner Bases from Characteristic Sets and Its Application to GeometryShang-Ching Chou, William F. Schelter, Jin-Gen Yang. algorithmica, 5(2):147-154, 1990.

Automated Reasoning in Geometries Using the Characteristic Set Method and Gröbner Basis MethodShang-Ching Chou. issac 1990: 255-260 [doi]

Methods for Mechanical Geometry Formula DerivingShang-Ching Chou, Xiao-Shan Gao. issac 1990: 265-270 [doi]

Ritt-Wu s Decomposition Algorithm and Geometry Theorem ProvingShang-Ching Chou, Xiao-Shan Gao. cade 1990: 207-220

1989

On the Algebraic Formulation of Certain Geometry Statements and Mechanical Geometry Theorem ProvingShang-Ching Chou, Jin-Gen Yang. algorithmica, 4(2):237-262, 1989.

1988

An Introduction to Wu s Method for Mechanical Theorem Proving in GeometryShang-Ching Chou. JAR, 4(3):237-267, 1988.

1987

A Method for the Mechanical Derivation of Formulas in Elementary GeometryShang-Ching Chou. JAR, 3(3):291-299, 1987.

1986

On Mechanical Theorem Proving in Minkowskian Plane GeometryShang-Ching Chou, Hai-Ping Ko. lics 1986: 187-192

Proving Geometry Theorems with Rewrite RulesShang-Ching Chou, William F. Schelter. JAR, 2(3):253-273, 1986.

GEO-Prover - A Geometry Theorem Prover Developed at UTShang-Ching Chou. cade 1986: 679-680

Sign in or sign up to see more results.

runs on WebDSL