Gao, Xiao-Shan
Chinese Academy of Sciences
3 papers on CoChatORCID 0000-0003-2021-9395
Most cited papers
- Verified
A Deductive Database Approach to Automated Geometry Theorem Proving and Discovering
Chou, S.-C., Gao, X.-S., & Zhang, J.-Z. (2000) · Journal of Automated Reasoning
Mathematics and ApplicationsPolynomial and algebraic computation
Cited by 89
- Verified
Automated generation of readable proofs with geometric invariants: II. Theorem proving with full-angles
Chou, S.-C., Gao, X.-S., & Zhang, J.-Z. (1996) · Journal of Automated Reasoning
Polynomial and algebraic computationMathematics and Applications
Cited by 79
- Verified
An Introduction to Java Geometry Expert
Ye, Z., Chou, S.-C., & Gao, X.-S. (2011) · Lecture Notes in Computer Science
Mathematics and ApplicationsPolynomial and algebraic computation
Cited by 50
Go further with a free account
Verify every reference, keep papers in a library, and ask questions across them.
Sign up - it is free