Travelled to:2 × France
3 × USA
Collaborated with:S.Chou G.Zhang J.Cheng J.Li J.Zhang N.F.McPhee
Talks about:geometri (4) prove (3) decomposit (2) theorem (2) method (2) constraint (1) statement (1) introduct (1) construct (1) algorithm (1)
Person: Xiao-Shan Gao
DBLP: Gao:Xiao=Shan
Contributed to:
20092006
1996199419921990Wrote 6 papers:
- SAC-2009-ChengGL
- Topology determination and isolation for implicit plane curves (JSC, XSG, JL), pp. 1140–1141.
- SAC-2006-ZhangG #composition #constraints #geometry #graph #theorem proving
- Spatial geometric constraint solving based on k-connected graph decomposition (GFZ, XSG), pp. 979–983.
- 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-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.