Skip to main content
SpringerLink
Log in

Geometry Question Generator: Question and Solution Generation, Validation and User Evaluation

  • Conference paper
  • First Online:
Book cover Computer Supported Education (CSEDU 2014)

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 510))

Included in the following conference series:

  • 794 Accesses

Abstract

Current massively open online courses (MOOCs) are providing several technical challenges for educators. One of these challenges is automated generation of questions, along with the solutions, in order to deal with a large number of students. Geometry is an important part of the high school curriculum. Hence, in this paper, we have focused on the high school geometry domain. We have proposed a framework that combines a combinatorial approach, pattern matching and automated deduction to generate and solve geometry problems for high school mathematics. The system would help teachers to quickly generate large numbers of questions on a geometry topic and may also support the setting of standardized tests such as PSLE, GMAT and SAT.

Our novel methodology uses (i) a combinatorial approach for generating geometric figures from the user input, (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. We propose several algorithms to avoid generation of repeated questions and to avoid questions having redundant information, which increases the effectiveness of our system. We have tested our generated questions on an existing geometry question solving software JGEX, verifying the validity of the generated questions. A survey with the real users such as high school teachers and students on generated questions and solutions shows that our system is effective and useful.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Chou, S.C., Gao, X.S.: Handbook of Automated Reasoning. Elsevier and MIT Press, Cambridge (2001)

    Google Scholar 

  2. Chou, S.C., Gao, X.S., Zhang, J.Z.: A deductive database approach to automated geometry theorem proving and discovering. J. Autom. Reasoning 25(3), 219–246 (2000)

    Article  MathSciNet  MATH  Google Scholar 

  3. Chou, S.C., Gao, X.S., Zhang, J.Z.: Area method and automated reasoning in affine geometries (2011)

    Google Scholar 

  4. Coelho, H., Pereira, L.: Automated reasoning in geometry theorem proving with prolog. J. Autom. Reasoning 2(4), 329–390 (1986)

    Article  MathSciNet  MATH  Google Scholar 

  5. Frühwirth, T., Raiser, F. (eds.): Constraint Handling Rules: Compilation, Execution, and Analysis. Books On Demand, March 2011

    Google Scholar 

  6. Gao, X.S., Zhu, C.C., Huang, Y.: Building dynamic mathematical models with geometry expert, I. Geometric transformations, functions and plane curves. In: Proceedings of the Third Asian Technology Conference in Mathematics (1998)

    Google Scholar 

  7. Gao, X.-S., Lin, Q.: MMP/geometer – a software packagefor automated geometric reasoning. In: Winkler, F. (ed.) ADG 2002. LNCS (LNAI), vol. 2930, pp. 44–66. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  8. Greeno, J.G., Magone, M.E., Chaiklin, S.: Theory of constructions and set in problem solving. Mem. Cogn. 7, 445–461 (1979)

    Article  Google Scholar 

  9. Jiang, J., Zhang, J.: A review and prospect of readable machine proofs for geometry theorems. J. Syst. Sci. Complex. 25, 802–820 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  10. McCharen, J.D., Overbeek, R.A., Wos, L.A.: Problems and experiments for and with automated theorem-proving programs. IEEE Trans. Comput. 25(8), 773–782 (1976)

    Article  MATH  Google Scholar 

  11. Meikle, L.I., Fleuriot, J.D.: Formalizing Hilbert’s Grundlagen in Isabelle/Isar. In: Basin, D., Wolff, B. (eds.) TPHOLs 2003. LNCS, vol. 2758, pp. 319–334. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  12. Narboux, J.: The area method: a recapitulation. J. Automat. Reasoning 48, 489–532 (2010)

    MathSciNet  MATH  Google Scholar 

  13. National Council of Teachers of Mathematics: Curriculum and evaluation standards for school mathematics (1989)

    Google Scholar 

  14. Quaife, A.: Automated development of Tarski’s geometry. J. Automat. Reasoning 5, 97–118 (1989)

    Article  MathSciNet  MATH  Google Scholar 

  15. Singhal, R., Henz, M., McGee, K.: Automated generation of geometry questions for high school mathematics. In: Sixth International Conference on Computer Supported Education (2013) (Accepted for publication as full paper)

    Google Scholar 

  16. Schrijvers, T., Demoen, B.: The K.U. Leuven CHR system: implementation and application. In: First Workshop on Constraint Handling Rules (2004)

    Google Scholar 

  17. Vicknair, C., Macias, M.: A Comparison of a Graph Database and a Relational Database (2010)

    Google Scholar 

  18. Wilson, S., Fleuriot, J.D.: Combining dynamic geometry, automated geometry theorem proving and diagrammatic proofs. In: ETAPS Satellite Workshop on User Unterfaces for Theorem Provers (UITP) (2005)

    Google Scholar 

  19. Zhang, J.Z., Gao, X.S., Chou, S.C.: The geometric information search system by forward reasoning. Chin. J. Comput. 19(10), 721–727 (1996)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Computing, National University of Singapore (NUS), Singapore, Singapore

    Rahul Singhal & Martin Henz

Authors
  1. Rahul Singhal
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Martin Henz
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Martin Henz .

Editor information

Editors and Affiliations

  1. University of Denver, Denver, Colorado, USA

    Susan Zvacek

  2. Faculdade de Engenharia da Universidade do Porto, Porto, Portugal

    Maria Teresa Restivo

  3. School of Engineering, University of Ulster, Newtownabbey, Ireland

    James Uhomoibhi

  4. School of Computing, Dublin City University, Dublin, Ireland

    Markus Helfert

Rights and permissions

Reprints and permissions

Copyright information

© 2015 Springer International Publishing Switzerland

About this paper

Cite this paper

Singhal, R., Henz, M. (2015). Geometry Question Generator: Question and Solution Generation, Validation and User Evaluation. In: Zvacek, S., Restivo, M., Uhomoibhi, J., Helfert, M. (eds) Computer Supported Education. CSEDU 2014. Communications in Computer and Information Science, vol 510. Springer, Cham. https://doi.org/10.1007/978-3-319-25768-6_13

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-25768-6_13

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-25767-9

  • Online ISBN: 978-3-319-25768-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation