文献管理

Title: Synthesis of Problems for Shaded Area Geometry Reasoning
Source: DOI: 10.1007/978-3-319-61425-0_39
Author(s): Chris Alvin, Sumit Gulwani, Rupak Majumdar, and Supratik Mukhopadhyay
Online Reference:
Abstract:

A shaded area problem in high school geometry consists of a figure annotated with facts such as lengths of line segments or angle mea- sures, 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.


File:
Relevant Principles (APA): 原理18 形成性评价和终结性评价都很重要和有价值,但两 者有着不同的方法和内涵
Notes (Theories):
Notes (Technologies):
Notes (Applications):
Notes (Impacts):
Tags: