Synthesis of Geometry Proof Problems.

Chris Alvin Sumit Gulwani Rupak Majumdar Supratik Mukhopadhyay

Published in: AAAI (2014)

Keyphrases

geometry theorem proving
three dimensional
data mining
multi agent
multi class
data sets
video sequences
facial expressions
np complete
benchmark problems
solving problems