Hans-Gert Grabe. (2002). The GeoProver Package for Mechanized (Plane) Geometry Theorem Proving Version 1.3a.
英
美
郑英豪(2003),行政院国家科学委员会专题研究计画-期中进度报告:青少年图形命题论证教学的研究(1/4)。
目录
查词历史
英 汉