Monthly Archives: November 2007

Gauge Theory and Representation Theory, Day II

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. Advertisements

Posted in Conferences | 1 Comment

Gauge Theory and Representation Theory, Day I

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…

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

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