- Mathematics Mechanization: Mechanical Geometry Theorem-Proving, Mechanical Geometry Problem-Solving, and Polynomial Equations-Solving (Mathematics and Its Applications (Kluwer), 489) by Wen-Tsun Wu, January, 2001
- Pythagoras Gets the Right Angle: A Math Adventure by Julie Ellis, Laura Jacques, January, 2004
- Mathematics Mechanization and Applications by Xiao-Shan Gao, Dongming Wang, 15 January, 2000
- Famous Problems and Other Monographs: Famous Problems of Elementary Geometry/from Determinant to Tensor/Introduction to Combinatory Analysis/Three Lectures on Fermat's Last Theorem by F. Klein, June, 1962
- Definitions, Solved and Unsolved Problems, Conjectures, and Theorems in Number Theory and Geometry by Florentin Smarandache, 01 October, 2000
- Mechanical Geometry Theorem Proving by Shang-Ching Chou, January, 2002
- Problems and Theorems in Analysis Two: Theory of Functions, Zeros, Polynomials Determinants, Number Theory and Geometry by G.S. Zego, George Polya, et all June, 1990
- Automated Deduction in Geometry: Third International Workshop, Adg 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers (Lecture Notes in Artificial Intelligence) by Jurgen Richter-Gebert, Dongming Wang, October, 2001
- Riemann-Roch Algebra (Comprehensive Studies in Mathematics, Vol 277) by William Fulton, Serge Lang, September, 1985
- Automated Deduction in Geometry: International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996: Selected Papers (Lecture Notes in Artificial Intelligence) by International Workshop on Automated Deduction in Geometry, D. Wang, June, 1998
|