Synthesis of problems for shaded area geometry reasoning
Document Type
Conference Proceeding
Publication Date
1-1-2017
Abstract
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.
Publication Source (Journal or Book title)
Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics
First Page
455
Last Page
458
Recommended Citation
Alvin, C., Gulwani, S., Majumdar, R., & Mukhopadhyay, S. (2017). Synthesis of problems for shaded area geometry reasoning. Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, 10331 LNAI, 455-458. https://doi.org/10.1007/978-3-319-61425-0_39