Back to Results
First PageMeta Content
Mathematical logic / Operations research / Algorithm / Theoretical computer science / Axiom / Logic programming / Euclidean geometry / Datalog / Mathematical optimization / Constraint satisfaction / Satisfiability modulo theories / Foundations of geometry


Solving Geometry Problems using a Combination of Symbolic and Numerical Reasoning Shachar Itzhaky1 , Sumit Gulwani2 , Neil Immerman3 , and Mooly Sagiv1 1
Add to Reading List

Open Document

File Size: 879,93 KB

Share Result on Facebook