Automatic Synthesis of Geometry Problems for an Intelligent Tutoring System

Alvin, Chris and Gulwani, Sumit and Majumdar, Rupak and Mukhopadhyay, Supratik
(2015) Automatic Synthesis of Geometry Problems for an Intelligent Tutoring System.
CoRR, abs/15.

Full text not available from this repository.
Official URL: http://arxiv.org/abs/1510.08525

Actions

Actions (login required)

View Item View Item