Elimination procedures for mechanical theorem proving in geometry Dongming Wang OriginalPaper Pages: 1 - 24
The dimension method in elementary and differential geometry M. A. AlbertiG. Carrà FerroM. Torelli OriginalPaper Pages: 47 - 71
A generalized Euclidean algorithm for geometry theorem proving Michael Kalkbrener OriginalPaper Pages: 73 - 95
Automated production of traditional proofs for theorems in Euclidean geometry I. The Hilbert intersection point theorems Jing-Zhong ZhangShang-Ching ChouXiao-Shan Gao OriginalPaper Pages: 109 - 137
Mechanical theorem proving in projective geometry Jürgen Richter-Gebert OriginalPaper Pages: 139 - 172
A category of geometric spaces: Some computational aspects Jochen Pfalzgraf OriginalPaper Pages: 173 - 193