Adapting Mathematical Domain Reasoners

DOI10.1007/978-3-642-14128-7_27zbMath1286.97012arXiv1005.4762OpenAlexW4206522527MaRDI QIDQ3582717

Johan Jeuring, Bastiaan Heeren

Publication date: 24 August 2010

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

Full work available at URL: https://arxiv.org/abs/1005.4762

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Technological tools, calculators (aspects of mathematics education) (97U70) Computer-assisted instruction, e-learning (aspects of mathematics education) (97U50)

Related Items (1)

Interleaving Strategies

This page was built for publication: Adapting Mathematical Domain Reasoners