Monthly Archives: November 2007

Gauge Theory and Representation Theory, Day II

Posted on November 28, 2007 by Charles Siegel

Today was the second day of Gauge Theory and Representation Theory. I understood a bit more today, and so this post will be longer and with more math.

Posted in Conferences | 1 Comment

Gauge Theory and Representation Theory, Day I

Posted on November 27, 2007 by Charles Siegel

So today was the first day of Gauge Theory and Representation Theory. I had a bit of irritation getting there (late train combined with the locals telling me that the Institute was in the opposite direction, causing me to meander … Continue reading →

Posted in Conferences, Mathematical Physics | 2 Comments

About the lack of posts…

Posted on November 19, 2007 by Charles Siegel

So I missed last week, and I’m missing this week. Unfortunately, I’ve been busy dealing with courses and the like. However, the week after Thanksgiving, I will be at the Gauge Theory and Representation Theory conference at the Institute for … Continue reading →

Posted in Conferences, Mathematical Physics | Leave a comment

Groebner Bases and Automatic Geometry

Posted on November 5, 2007 by Charles Siegel

Today I’m going to talk about using modern methods of algebraic geometry to automate (in large part) the proofs of statements of plane geometry. The discussion mostly follows Cox, Little, and O’Shea‘s “Ideals, Varieties, and Algorithms” which is a great … Continue reading →

Posted in Algebraic Geometry | Leave a comment