Doodle博士

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