Chris Alvin, Sumit Gulwani, Rupak Majumdar, Supratik Mukhopadhyay. Synthesis of Problems for Shaded Area Geometry Reasoning. In Elisabeth André, Ryan S. Baker, Xiangen Hu, Ma. Mercedes T. Rodrigo, Benedict du Boulay, editors, Artificial Intelligence in Education - 18th International Conference, AIED 2017, Wuhan, China, June 28 - July 1, 2017, Proceedings. Volume 10331 of Lecture Notes in Computer Science, pages 455-458, Springer, 2017. [doi]
@inproceedings{AlvinGMM17-0,
title = {Synthesis of Problems for Shaded Area Geometry Reasoning},
author = {Chris Alvin and Sumit Gulwani and Rupak Majumdar and Supratik Mukhopadhyay},
year = {2017},
doi = {10.1007/978-3-319-61425-0_39},
url = {https://doi.org/10.1007/978-3-319-61425-0_39},
researchr = {https://researchr.org/publication/AlvinGMM17-0},
cites = {0},
citedby = {0},
pages = {455-458},
booktitle = {Artificial Intelligence in Education - 18th International Conference, AIED 2017, Wuhan, China, June 28 - July 1, 2017, Proceedings},
editor = {Elisabeth André and Ryan S. Baker and Xiangen Hu and Ma. Mercedes T. Rodrigo and Benedict du Boulay},
volume = {10331},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-319-61425-0},
}