Automated Theorem Proving
for
Hard Theorems in Rich Theories

by
Geoff Sutcliffe
Department of Computer Science
University of Miami
USA
geoff@cs.miami.edu
The ARTists ...
Diego Belfiore, Sasha Dvorsky, Yi Gao
Yury Puzis, Steven Trac, Jason Wester
Yuan Zhang
Department of Computer Science
University of Miami
USA
http://www.cs.miami.edu/~geoff/ResearchProjects/ART

Abstract