### About this blog

Rigorous trivialities is a web log about mathematics, but especially geometry, broadly construed. Contributors will be Charles Siegel, Jim Stankewicz and occasionally Matt Deland. Charles specializes in algebraic geometry, topology and mathematical physics. Jim specializes in arithmetic algebraic geometry. Matt has transitioned from algebraic geometry to work in industry.

Header is taken from the larger work by fdecomite under the creative commons license.

### Categories

- Abelian Varieties AG From the Beginning Algebraic Geometry Algebraic Topology Big Theorems Cohomology Combinatorics Complex Analysis Computational Methods Conferences Cranks Curves Deformation Theory Differential Geometry Enumerative Geometry Examples Group Theory Hilbert Scheme Hodge Theory ICTP Summer School Intersection Theory Knot Theory MaBloWriMo Math Culture Mathematical Physics Moduli of Curves Talks Toric Geometry Uncategorized Vector Bundles
### Recent Comments

mic on The hyperbolic plane Charles Siegel on The hyperbolic plane mic on The hyperbolic plane Charles Siegel on Affine Varieties Ino on Affine Varieties ### Links

### Math Blogs

- 0xDE
- 360
- A Mind for Madness
- A Neighborhood of Infinity
- A Singular Contiguity
- Aline’s Weblog
- Arcadian Functor
- Ars Mathematica
- Blog of a Math Teacher
- Casting out Nines
- Combinatorics and More
- Concrete Nonsense
- Disquisitiones Mathematicae
- Dung Hoang Nguyen’s Weblog
- E. Kowalski’s Blog
- eon
- EvolutionBlog
- Geometric Algebra
- God Plays Dice
- Good Math, Bad Math
- gyre & gimble
- Halfway There
- Hydrobates
- in Theory
- Intrinsically Knotted
- Let’s Play Math
- Low Dimensional Topology
- Mathematics and Physics
- Mathematics Prelims
- Mathematics under the Microscope
- Mathematics Weblog
- Mathemusicality
- Michi’s Blog
- neverending books
- Noncommutative Geometry
- Polymathematics
- Portrait of the Mathematician
- Quomodocumque
- Reasonable Deviations
- Secret Blogging Seminar
- Sketches of Topology
- Tangled Web
- tcs math
- The Accidental Mathematician
- The Everything Seminar
- The n-Category Cafe
- The Narrow Road
- The Real Sqrt
- The Rising Sea
- The Unapologetic Mathematician
- Theoretical Atlas
- Tim Gowers’s Weblog
- Topological Musings
- What’s New

### Archives

- December 2014
- November 2014
- September 2014
- December 2013
- February 2013
- December 2012
- November 2012
- October 2012
- April 2012
- April 2011
- November 2010
- October 2010
- August 2010
- July 2010
- June 2010
- April 2010
- March 2010
- February 2010
- December 2009
- November 2009
- October 2009
- September 2009
- August 2009
- July 2009
- June 2009
- May 2009
- April 2009
- March 2009
- February 2009
- January 2009
- December 2008
- November 2008
- October 2008
- September 2008
- August 2008
- July 2008
- June 2008
- May 2008
- April 2008
- March 2008
- February 2008
- January 2008
- December 2007
- November 2007
- October 2007
- September 2007
- August 2007

### Tags

### Top Posts & Pages

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

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