 Comparison Theorems in Riemannian Geometry (AMS Chelsea Publishing) by Jeff Cheeger and David G. Ebin, 20080804
 18 Theorems of Geometry: for High School Students by William Smith, 20100625
 Geometry: Theorems and Constructions by Allan Berele, Jerry Goldman, 20001016
 Fermat's Last Theorem for Amateurs by Paulo Ribenboim, 19990211
 A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia (Distinguished Dissertations) by Jacques Fleuriot, 20010627
 Mechanical Geometry Theorem Proving (Mathematics and Its Applications) by ShangChing Chou, 20011130
 The L²Moduli Space and a Vanishing Theorem for Donaldson Polynomial Invariants (Monographs in Geometry and Topology, Vol II) by John Willard Morgan, Tomasz Mrowka, et all 199406
 Stability Theorems in Geometry and Analysis (Mathematics and Its Applications) by Yu.G. Reshetnyak, 20101102
 Mechanical Theorem Proving in Geometries: Basic Principles (Texts and Monographs in Symbolic Computation) by Went Sun Wu, Xiao Fan Jin, et all 199405
 Machine Proofs in Geometry: Automated Production of Readable Proofs for Geometry Theorems (Series on Applied Mathematics) by ShangChing Chou, XianShan Gao, et all 199404
 Fermat's Last Theorem: A Genetic Introduction to Algebraic Number Theory (Graduate Texts in Mathematics) by Harold M. Edwards, 20000114
 An Introduction to the Geometry of Numbers (Classics in Mathematics) by J.W.S. Cassels, 19970225
 Mathematics Mechanization: Mechanical Geometry TheoremProving, Mechanical Geometry ProblemSolving and Polynomial EquationsSolving (Mathematics and Its Applications) by Wu Wentsun, 20010430
 Principles and Problems of Plane Geometry with Coordinate Geometry (Includes 850 Solved in Detail Problems) [Schaum's Outline Series] by Barnett Rich, 1963
