Travelled to:1 × France
3 × USA
Collaborated with:X.Gao ∅ H.Ko J.Zhang N.F.McPhee
Talks about:geometri (7) theorem (5) prove (4) prover (3) method (2) mechan (2) minkowskian (1) decomposit (1) statement (1) macintosh (1)
Person: Shang-Ching Chou
DBLP: Chou:Shang=Ching
Contributed to:
19961994199219901986
1986Wrote 7 papers:
- CADE-1996-ChouGZ #geometry
- An Introduction to Geometry Expert (SCC, XSG, JZZ), pp. 235–239.
- CADE-1994-McPheeCG #geometry #proving #theorem #using
- Mechanically Proving Geometry Theorems Using a Combination of Wu’s Method and Collins’ Method (NFM, SCC, XSG), pp. 401–415.
- CADE-1992-Chou #geometry #proving #theorem proving
- A Geometry Theorem Prover for Macintoshes (SCC), pp. 686–690.
- CADE-1992-ChouG #geometry #proving
- Proving Geometry Statements of Constructive Type (SCC, XSG), pp. 20–34.
- CADE-1990-ChouG #algorithm #composition #geometry #proving #theorem proving
- Ritt-Wu’s Decomposition Algorithm and Geometry Theorem Proving (SCC, XSG), pp. 207–220.
- CADE-1986-Chou #geometry #named #proving #theorem proving
- GEO-Prover — A Geometry Theorem Prover Developed at UT (SCC), pp. 679–680.
- LICS-1986-ChouK #geometry #on the #proving #theorem proving
- On Mechanical Theorem Proving in Minkowskian Plane Geometry (SCC, HPK), pp. 187–192.