Computational Algebraic Geometry in String and Gauge Theory