Automated Generation of Interesting Theorems

by
Yury Puzis Department of Computer Science University of Miami USA	Yi Gao Department of Computer Science University of Miami USA	Geoff Sutcliffe Department of Computer Science University of Miami USA