Gao, X-S

Inst. of Systems Sci.

1 paper on CoChat

Most cited papers

Verified
Machine Proofs in Geometry: Automated Production of Readable Proofs for Geometry Theorems
Chou, S.-C., Gao, X.-S., & Zhang, J.-Z. (1994) · Series on Applied Mathematics
Polynomial and algebraic computationMathematics and Applications
Cited by 155

Go further with a free account

Verify every reference, keep papers in a library, and ask questions across them.

Sign up - it is free