Mathematical logic

Programming paradigms

Algorithm

Theoretical computer science

Axiom

Euclidean geometry

Logic programming

Constraint satisfaction

Constraint programming

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

Document is deleted from original location.
Use the Download Button below to download from the Web Archive.

File Size: 521,42 KB