Login / Signup
An Introduction to Wu's Method for Mechanical Theorem Proving in Geometry.
Shang-Ching Chou
Published in:
J. Autom. Reason. (1988)
Keyphrases
</>
theorem proving
probability distribution
machine learning
geometric constraints