Practical Online Assessment of Mathematical Proof

2020/06/02 by Robert T. Bickerton, Robert T Bickerton, Bickerton, Robert T +2 · 1 citation
Computer Science · Mathematics · Psychology · #FOS: Mathematics #History and Overview (math.HO) #Intelligent Tutoring Systems and Adaptive Learning #Mathematics, Computing, and Information Processing #Visual and Cognitive Learning Processes #math.HO

paper · pdf · doi:10.48550/arxiv.2006.01581

20 pages, 6 figures

arxiv created 2020/06/02 · openalex publication_date 2020/06/02 · arxiv updated 2020/06/03 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

We discuss a practical method for assessing mathematical proof online. We examine the use of faded worked examples and reading comprehension questions to understand proof. By breaking down a given proof, we formulate a checklist that can be used to generate comprehension questions which can be assessed automatically online. We then provide some preliminary results of deploying such questions.

Citations

• The Expertise Reversal Effect

Cited by

• A Psychometric and Practical Comparison of Standard Moodle-Based and STACK-Based Step-by-Step Tests in University Calculus
• Typed Mathematical Text for On-screen Examinations

Related

• How Mathematicians Determine if an Argument Is a Valid Proof
• Mathematical Proof Between Generations
• Mathematical Proofs 101: How Proofs Should Be Read, Written, and Taught
• Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems
• Expert and Novice Approaches to Reading Mathematical Proofs