H. Gelernter
J. R. Hansen
C. L. Gerberich
Journal of the ACM
Empirical explorations of the geometry theorem machine