Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Adapting Mathematical Domain Reasoners   Mathematical learning environments help students in mastering mathematical
knowledge. Mature environments typically offer thousands of interactive
exercises. Providing feedback to students solving interactive exercises
requires domain reasoners for doing the exercise-specific calculations. Since a
domain reasoner has to solve an exercise in the same way a student should solve
it, the structure of domain reasoners should follow the layered structure of
the mathematical domains. Furthermore, learners, teachers, and environment
builders have different requirements for adapting domain reasoners, such as
providing more details, disallowing or enforcing certain solutions, and
combining multiple mathematical domains in a new domain. In previous work we
have shown how domain reasoners for solving interactive exercises can be
expressed in terms of rewrite strategies, rewrite rules, and views. This paper
shows how users can adapt and configure such domain reasoners to their own
needs. This is achieved by enabling users to explicitly communicate the
components that are used for solving an exercise.

29
The categories of this paper are: funct-an
35
The categories of this paper are: mtrl-th
13
The categories of this paper are: quant-ph
2
The categories of this paper are: math
19
The categories of this paper are: eess
14
The categories of this paper are: math-ph
10
The categories of this paper are: q-bio
26
The categories of this paper are: bayes-an
21
The categories of this paper are: adap-org
12
The categories of this paper are: nucl-th
23
The categories of this paper are: solv-int
11
The categories of this paper are: hep-lat
36
The categories of this paper are: cmp-lg
9
The categories of this paper are: nlin
22
The categories of this paper are: chao-dyn
28
The categories of this paper are: alg-geom