Ender: Visual Scaffolding for Geometric Proof Comprehension

几何证明是初中数学的基础但极其困难的主题，主要由于将视觉图示与逻辑文本整合所需的高认知负荷。随着证明的演进，追踪初始前提和不断扩展的推导真理容易使工作记忆不堪重负。尽管已有的支架技术多为视觉和图示型，但当前的数字学习环境大多依赖静态、以文本为主的界面，迫使学生自行管理这些复杂的认知模型。