1. Atiyah, M.F., Macdonald, I.G.: Introduction to commutative algebra. Addison-Wesley Publishing Co., Reading, (1969)
2. Bayer, D.: The division algorithm and the Hilbert scheme. PhD thesis, Harvard University. http://www.math.columbia.edu/~bayer/thesis/thesis.html . AAT8222588 (1982)
3. Bayer, D., Mumford, D.: What can be computed in algebraic geometry? Computational algebraic geometry and commutative algebra (Cortona, 1991), Sympos. Math., XXXIV, pp. 1–48. Cambridge University Press, Cambridge (1993)
4. Bogart T., Jensen A., Speyer D., Sturmfels B., Thomas R.: Computing tropical varieties. J. Symbolic Comput. 42(1–2), 54–73 (2007)
5. Brodsky, S., Sturmfels, B.: Tropical quadrics through three points. arXiv:1002.0603v1 (preprint, 2010)