This paper presents a method for generating single-variable limit problems for an introductory Calculus course. Our method generates problems in two steps. The first step uses an evolutionary approach to construct unique functions $f$. The second step involves an analysis of $f$ to compute distinct ``approach'' values. Our experimental procedures demonstrate the limitations and utility of our approach.

This paper presents a semi-automated methodology for generating geometric proof problems of the kind found in a high-school curriculum. We formalize the notion of a geometry proof problem and describe an algorithm for generating such problems over a user-provided figure. Our experimental results indicate that our problem generation algorithm can effectively generate proof problems in elementary geometry. On a corpus of 110 figures taken from popular geometry textbooks, our system generated an average of about 443 problems per figure in an average time of 4.7 seconds per figure.