Mathematics in the TPTP World

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

Abstract