Mathematics
and Computer Science Speaker Series
California State University, Stanislaus
Date: October 26, 2007
Time: 4:00 pm
Place: DBH - 102
Speaker: Heather Coughlin
Title: Automatic Theorem Proving
Abstract: We will use
polynomials and their zeros to discuss some basic concepts of
Commutative Algebra and Algebraic Geometry. Then we will discuss
how to use these to build a machine (program) which will translate and
prove theorems in Euclidean Geometry.
Please Note: All are welcome. (Familiarity with high school
geometry, and polynomials and finding their zeros is helpful.)
Movie of Heather's talk (small)
Movie of Heather's talk (large)
PodCast of Heather's talk
Slides from Heather's talk (pdf)