Proving Hard Theorems in Rich Theories

by
Geoff Sutcliffe
Department of Computer Science
University of Miami
USA
geoff@cs.miami.edu
Alexander Dvorsky
Department of Mathematics
University of Miami
USA
dvorsky@math.miami.edu
Yi Gao
Department of Computer Science
University of Miami
USA
yigao@mail.cs.miami.edu

Abstract