Geometric Reasoning with Logic and Algebra

By D. S. Arnon. 1988

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. Sergey Levine
3. Yoshua Bengio
4. Abhinav Kumar Gupta
5. Josh Tenenbaum
6. Alvaro Sanchez-Gonzalez
7. Jitendra Malik
8. Jessica B. Hamrick

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.”
• Planning algorithms (2006, background): “In addition to [79], other general references to cylindrical algebraic decomposition are [40, 234].”
• Complete Solution Classification for the Perspective-Three-Point Problem (2003, background): “We know that fðxÞ has three real solutions iff D8 > 0 [20].”