TY  - RPRT
TI  - Automatic Synthesis of Geometry Problems for an Intelligent Tutoring System
AU  - Chris Alvin
AU  - Sumit Gulwani
AU  - Rupak Majumdar
AU  - Supratik Mukhopadhyay
PY  - 2015
UR  - https://arxiv.org/abs/1510.08525
ID  - 1510.08525
ER  -