Chou, Shang-Ching
Wichita State University
4 papers on CoChat
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
Proving Elementary Geometry Theorems Using Wu’s Algorithm
Chou, S.-C. (1984) · Contemporary Mathematics
Polynomial and algebraic computationMathematics and Applications
Cited by 55
- 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