`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:

### Wrote 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.