（苏）别列标尔金（Д.И.Перепёлкин），（苏）切别维鲁辛（Н.Х.Четверухин）著1956 年出版9 页ISBN：7010·69
陈传麟著2011 年出版314 页ISBN：9787313070302
时至今日，人们都认为，只有射影几何才有“对偶原理”，而欧氏几何没有，因为后者涉及度量，内容远比前者复杂的缘故。然而事实并非如此，本书论证了欧氏几何对偶原理的存在，并以大量的应用加以佐证，从而纠正了高等......
刘培杰主编2009 年出版484 页ISBN：9787560328164
本书内容包括：近世几何学初编，几何作图题解法及其原理，初等几何学作图不能问题，几何作图题及数域运算，奇妙的正方形。
吴文俊著2010 年出版234 页ISBN：9787030283771
1984年，吴文俊的学术专著《几何定理机器证明的基本原理》由科学出版社出版，这部专著遵循机械化思想引进数系和公理，依照机械化观点系统地分析了各类几何体系，明确建立了各类几何的机械化定理，着重阐明几何定理机...
刘培杰主编2011 年出版705 页ISBN：9787560331416
本书内容包括：希尔伯特平面几何作图问题、克莱因论平面几何作图问题、亚历山大洛夫平面几何作图问题平面结合作图问题散论等。
