Login / Signup
Using Automated Theorem Provers for Mistake Diagnosis in the Didactics of Mathematics.
Merlin Carl
Published in:
CoRR (2020)
Keyphrases
</>
computer algebra
automated theorem provers
theorem prover
fault diagnosis
medical diagnosis
model based diagnosis
multiple faults
model based reasoning
attention deficit hyperactivity disorder
real time
fault detection
diagnostic tests
data sets
learning algorithm
decision making
expert systems