Automatic Synthesis of Geometry Problems for an Intelligent Tutoring System.

Chris Alvin Sumit Gulwani Rupak Majumdar Supratik Mukhopadhyay

Published in: CoRR (2015)

Keyphrases

application domains
semi automatic
np complete
data sets
related problems
real world
optimization problems
probabilistic model
problems involving
decision problems
data driven
computational complexity
multi agent
three dimensional
image segmentation
decision making
neural network
databases