Doodle博士

Doodle博士图解定理证明器。本文介绍了Doodle博士系统,是一种使用图解表示的交互式定理证明器。这个项目的假设是,对于某些领域(主要是几何学),图解推理比传统的代数方法更容易理解——至少对于许多人来说。这个Doodle博士系统开发的度量空间分析领域(几何域,但传统上教使用干代数形式主义)。进行试点实验,以评估其潜力作为教育工具的基础,具有令人鼓舞的结果。