Thousands of Solutions from Theorem Provers

by
Geoff Sutcliffe Department of Computer Science University of Miami USA geoff@cs.miami.edu	... the ARTists ... Seyyed Dashti Yi Gao Patrick Zhou ... and some help from ... Meera Bhutta Bernardo Ratto Justo Reche Stephan Schulz Jose Taboada