Mechanical Geometry Theorem Proving

By S. Chou. 1987

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

1. Peter W. Battaglia
2. Alvaro Sanchez-Gonzalez
3. Yoshua Bengio
4. Victor Bapst
5. Jessica B. Hamrick
6. Josh Tenenbaum
7. Abhinav Kumar Gupta
8. Sergey Levine

Citations in the corpus

• Structured agents for physical construction (2019, background): “Geometric logical reasoning was a major topic in symbolic logic research (Chou, 1987; Arnon, 1988), leading to geometric theorem-provers (Bouma et al., 1995), rule-based geometric constraint solvers for computer-aided de-sign (Aldefeld, 1988; Schreck et al., 2012), and logic-based optimization for…”
• Geometric Construction Problem Solving in Computer-Aided Learning (2012, methodology): “by using algebraic tools like Wu’s method [14] or by using classical methods [16].”
• History of Interactive Theorem Proving (2014, background): “…Theorem Proving 5 more domain-specific automated algorithms have proven to be highly effective in areas like geometry and ideal theory [Wu, 1978; Chou, 1988; Buchberger, 1965], hypergeometric summation [Petkovšek et al., 1996] and the analysis of finite-state systems [Clarke and Emerson, 1981;…”