Mathematics in the TPTP World

by
Geoff Sutcliffe University of Miami, USA	Lots of TPTP Users All over the World