Hans-Gert Grabe. (2002). The GeoProver Package for Mechanized (Plane) Geometry Theorem Proving Version 1.3a.

• 郑英豪(2003)，行政院国家科学委员会专题研究计画-期中进度报告：青少年图形命题论证教学的研究(1/4)。