Automated Theorem Proving

Description

The Automated Theorem Proving group was a research group which was under the direction of Dr. Woody Bledsoe. With the passing of Woody, this group no longer exists. However, there is still a good bit of research in ATP happenning at UT-Austin under the direction of Robert Boyer and J. Moore.

The Automated Theorem Proving group was a part of the Computer Sciences and Mathematics departments at The University of Texas at Austin. The group produced methods and systems intended to prove theorems in first- and higher-order logic with the intention of applying these systems and methods to problems primarily in mathematics, but also in computer science and technology.

Researchers

Larry Hines, Marty Mayberry, Benjamin Shults (This is an incomplete list.)

Publications

For an index of publications related to the ATP research group, please visit the following site: ftp://ftp.cs.utexas.edu/pub/bshults/ATP-tech-reports/INDEX.html