Specifying rewrite strategies for interactive exercises

DOI10.1007/S11786-010-0027-4MaRDI QIDQ626940zbMATH OpenOpenAlexFDO

Authors Bastiaan Heeren, Johan Jeuring, Alex Gerdes

Publication date 19 February 2011

Published in Mathematics in Computer Science (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial 4.0 International

Full work available at URL https://doi.org/10.1007/s11786-010-0027-4

zbMATH Keywords

context-free grammarfeedbackinteractive exercisesrecognizerstrategy language

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Recognizing Strategies
• Specifying Strategies for Exercises
• Interleaving strategies
• Representation for Interactive Exercises
• scientific article; zbMATH DE number 2009900

Cites work

• Building program optimizers with rewriting strategies
• Higher-order functions for parsing
• scientific article; zbMATH DE number 6712232 (Why is no real title available?)
• scientific article; zbMATH DE number 3860434 (Why is no real title available?)
• scientific article; zbMATH DE number 4072439 (Why is no real title available?)
• scientific article; zbMATH DE number 1952947 (Why is no real title available?)
• scientific article; zbMATH DE number 1961549 (Why is no real title available?)
• scientific article; zbMATH DE number 1926636 (Why is no real title available?)
• scientific article; zbMATH DE number 958048 (Why is no real title available?)
• Mathematical Knowledge Management
• Recognizing Strategies

Cited in

(6)

• Adapting mathematical domain reasoners
• Representation for Interactive Exercises
• Canonical Forms in Interactive Exercise Assistants
• scientific article; zbMATH DE number 2009900 (Why is no real title available?)
• Interleaving strategies
• Specifying Strategies for Exercises

Describes a project that uses

Uses Software

• ML
• Aplusix
• Mathpert
• ActiveMath
• Haskell
• Aplusix-editor
• iTasks

This page was built for publication: Specifying rewrite strategies for interactive exercises

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q626940)