Geometry question generator: Question and solution generation, validation and user evaluation

• Main Authors: Singhal, R, Henz, M
• Other Authors: DEPARTMENT OF COMPUTER SCIENCE
• Format: Conference or Workshop Item
• Published: Springer International Publishing 2021
• Subjects: Automated Deduction; Graph-based Knowledge Representation; Pattern matching; High school geometry; Axiomatic approach; Constraint handling rules (CHR)
• Online Access: https://scholarbank.nus.edu.sg/handle/10635/200859
• Institution: National University of Singapore

10.1007/978-3-319-25768-6_13