A shaded area problem in high school geometry consists of a figure annotated with facts such as lengths of line segments or angle measures, and asks to compute the area of a shaded portion of the figure. We describe a technique to generate fresh figures for these problems. Given a figure, we describe a technique to automatically synthesize shaded area problems. We demonstrate the efficacy of our synthesis techniques by synthesizing problems from fresh figures as well as figures from a corpus of problems from high-school geometry textbooks.
CITATION STYLE
Alvin, C., Gulwani, S., Majumdar, R., & Mukhopadhyay, S. (2017). Synthesis of problems for shaded area geometry reasoning. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 10331 LNAI, pp. 455–458). Springer Verlag. https://doi.org/10.1007/978-3-319-61425-0_39
Mendeley helps you to discover research relevant for your work.