Automated Generation of Geometry Questions for High School Mathematics

Rahul Singhal, Martin Henz, Kevin McGee

2014

Abstract

We describe a framework that combines a combinatorial approach, pattern matching and automated deduction to generate and solve geometry problems for high school mathematics. Such a system would help teachers to quickly generate large numbers of questions on a geometry topic. Students can explore and revise specific topics covered in classes and textbooks based on generated questions. The system can act as a personalized instructor - it can generate problems that meet users specific weaknesses. This system may also help standardize tests such as GMAT and SAT. Our novel methodology uses (i) a combinatorial approach for generating geometric figures (ii) a pattern matching approach for generating questions and (iii) automated deduction to generate new questions and solutions. By combining these methods, we are able to generate questions involving finding or proving relationships between geometric objects based on a specification of the geometry objects, concepts and theorems to be covered by the questions. Experimental results show that a large number of questions can be generated in a short time. We have tested our generated questions on an existing geometry question solving software JGEX, verifying the validity of the generated questions.

Paper Citation

in Harvard Style

Singhal R., Henz M. and McGee K. (2014). Automated Generation of Geometry Questions for High School Mathematics . In Proceedings of the 6th International Conference on Computer Supported Education - Volume 2: CSEDU, ISBN 978-989-758-021-5, pages 14-25. DOI: 10.5220/0004795300140025

in Bibtex Style

@conference{csedu14,
author={Rahul Singhal and Martin Henz and Kevin McGee},
title={Automated Generation of Geometry Questions for High School Mathematics},
booktitle={Proceedings of the 6th International Conference on Computer Supported Education - Volume 2: CSEDU,},
year={2014},
pages={14-25},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004795300140025},
isbn={978-989-758-021-5},
}

in EndNote Style

TY - CONF
JO - Proceedings of the 6th International Conference on Computer Supported Education - Volume 2: CSEDU,
TI - Automated Generation of Geometry Questions for High School Mathematics
SN - 978-989-758-021-5
AU - Singhal R.
AU - Henz M.
AU - McGee K.
PY - 2014
SP - 14
EP - 25
DO - 10.5220/0004795300140025