刘培杰主编2009 年出版484 页ISBN：9787560328164
本书内容包括：近世几何学初编，几何作图题解法及其原理，初等几何学作图不能问题，几何作图题及数域运算，奇妙的正方形。
吴文俊著2010 年出版234 页ISBN：9787030283771
1984年，吴文俊的学术专著《几何定理机器证明的基本原理》由科学出版社出版，这部专著遵循机械化思想引进数系和公理，依照机械化观点系统地分析了各类几何体系，明确建立了各类几何的机械化定理，着重阐明几何定理机...
刘培杰主编2011 年出版705 页ISBN：9787560331416
本书内容包括：希尔伯特平面几何作图问题、克莱因论平面几何作图问题、亚历山大洛夫平面几何作图问题平面结合作图问题散论等。
沈文选，杨清桃编著2010 年出版541 页ISBN：7560330126
本书从三角形、四边形、多边形、圆及其关系，以及最值、轨迹、作图，完全四边形（四边形）、平面闭折线、圆的推广等十个专题对平面几何中的500余颗璀璨夺目的珍珠进行了系统的、全方位的介绍。...
沈文选，杨清桃编著2010 年出版597 页ISBN：7560330126
本书从三角形、四边形、多边形、圆及其关系，以及最值、轨迹、作图，完全四边形（四边形）、平面闭折线、圆的推广等十个专题对平面几何中的500余颗璀璨夺目的珍珠进行了系统的、全方位的介绍。...
