Login / Signup
Automated Production of Traditional Proofs for Theorems in Euclidean Geometry.
Jing-Zhong Zhang
Shang-Ching Chou
Xiao-Shan Gao
Published in:
Ann. Math. Artif. Intell. (1995)
Keyphrases
</>
euclidean geometry
automated theorem provers
theorem proving
theorem prover