Series: Penn State Logic Seminar Date: Tuesday, October 2, 2001 Time: 2:30 - 3:45 PM Place: 306 Boucke Building Speaker: Pavel Naumov, Computer Science, Penn State Harrisburg Title: Introduction to Automated Theorem Provers Abstract: While the idea of a machine capable of proving mathematical theorems goes back to Leibniz, only the 20th century computers have turned this dream into reality. Although they are far from being a substitute for a bright mathematician, modern theorem provers are known for solving some open problems and their use in hardware verification. This introductory talk will review the history of the field, present main accomplishments, compare major existing provers, and discuss some of the directions of the current research.