TY  - RPRT
TI  - Interactive, Intelligent Tutoring for Auxiliary Constructions in Geometry Proofs
AU  - Ke Wang
AU  - Zhendong Su
PY  - 2017
UR  - https://arxiv.org/abs/1711.07154
ID  - 1711.07154
ER  -