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

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

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

Saved in:
Bibliographic Details
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
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: National University of Singapore
Description
Summary:10.1007/978-3-319-25768-6_13

Similar Items