Computational Algebraic Geometry in String and Gauge Theory by He, Y, Candelas, P, Hanany, A, Lukas, A, Ovrut, B

Heterotic compactification, an algorithmic approach by Anderson, L, He, Y, Lukas, A

“…We approach string phenomenology from the perspective of computational algebraic geometry, by providing new and efficient techniques for proving stability and calculating particle spectra in heterotic compactifications. …”

Algorithmic algebraic geometry and flux vacua by Gray, J, He, Y, Lukas, A

“…The issue of finding vacua of such systems, both supersymmetric and non-supersymmetric, is mapped into a problem in computational algebraic geometry. Using recent developments in computer algebra, the problem can then be rapidly dealt with in a completely algorithmic fashion. …”

STRINGVACUA. A Mathematica package for studying vacuum configurations in string phenomenology by Gray, J, He, Y, Ilderton, A, Lukas, A

“…The package uses powerful algebro-geometric methods, as implemented in the free computer algebra system Singular, but requires no knowledge of the mathematics upon which it is based. …”