Mechanical theorem proving in projective geometry,” (1995)

by J Richter-Gebert
Venue:Annals ofMathematics and Artificial Intelligence,