Canonical Forms in Interactive Exercise Assistants

DOI10.1007/978-3-642-02614-0_27zbMath1247.97039OpenAlexW1482261186MaRDI QIDQ3637289

Bastiaan Heeren, Johan Jeuring

Publication date: 9 July 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-02614-0_27

zbMATH Keywords

interactive exercise assistantsviews for mathematical expressions

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Student assessment, achievement control, and rating (aspects of mathematics education) (97D60) Computer-assisted instruction, e-learning (aspects of mathematics education) (97U50)

Uses Software

• Haskell
• Aplusix-editor
• Aplusix
• Mathpert

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A lightweight approach to datatype-generic rewriting
• Term Rewriting and All That
• Specifying Strategies for Exercises

This page was built for publication: Canonical Forms in Interactive Exercise Assistants