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.)
Slides from Heather's talk (pdf)