Automatic Generation of Interesting Theorems

by
Geoff Sutcliffe Department of Computer Science University of Miami USA geoff@cs.miami.edu	Yi Gao Department of Computer Science University of Miami USA yigao@mail.cs.miami.edu