Concepedia

Xiao Gao

XG

Statistics

Publications

3

Citations

42

H-Index

3

Active since

1989

Xiao Gao is an author specializing in computational geometry, geometry, and mathematics.

Publications per year

1989–1989

3

Publications

3

Mechanical Formula Derivation in Elementary Geometries

Shang Chou, Xiao Gao · 1989 · 17 citations

, , +7

On the Mechanical Proof of Geometry Theorems Involving Inequalities

Shang Chou, Xiao Gao, Dennis S. Arnon · 1989 · 13 citations

, , +10

A Class of Geometry Statements of Constructive Type and Geometry Theorem Proving

Shang Chou, Xiao Gao · 1989 · 12 citations

, , +9

1–3 of 3