BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Gao:Xiao=Shan

Contributed to:

SAC 20092009
SAC 20062006
CADE 19961996
CADE 19941994
CADE 19921992
CADE 19901990

Wrote 6 papers:

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.