Mathematics in the TPTP Problem Library

by
Geoff Sutcliffe
Department of Computer Science
James Cook University
Australia
geoff@cs.miami.edu

Abstract