Using Automated Theorem Provers for Mistake Diagnosis in the Didactics of Mathematics
英文摘要：
The Diproche system, an automated proof checker for natural language proofs specifically adapted to the context of exercises for beginner's students similar to the Naproche system by Koepke, Schröder, Cramer and others, uses a modification of an automated theorem prover which uses common formal fallacies intead of sound deduction rules for mistake diagnosis. We briefly describe the concept of such an `Anti-ATP' and explain the basic techniques used in its implementation.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
