Papers and preprints

• Construction of holomorphic differential forms on the moduli space of abelian varieties, Ph.D. Thesis, Harvard (1983).
• The design of Macaulay: a system for computing in algebraic geometry and commutative algebra, Proc. of the 1986 A.C.M. Symposium on Symbolic and Algebraic Computation (ed. B.Char), 157-162 (1986). (refereed proceedings)
• A criterion for detecting m-regularity, Invent. Math., 87(1):1--11, 1987 (with Dave Bayer).
• A theorem on refining division orders by the reverse lexicographic order, Duke Math. J., 55(2):321--328, 1987 (with Dave Bayer).
• On the complexity of computing syzygies, J. Symbolic Comput., 6(2-3):135--147, 1988 (with Dave Bayer).
• Determinantal equations for curves of high degree, Amer. J. Math., 110(3):513--539, 1988 (with David Eisenbud and Jee Koh).
• Linear syzygies and line bundles on an algebraic curve, J. Algebra, 125(1):120--132, 1989 (with Jee Koh).
• Methods for computing in algebraic geometry and commutative algebra, Acta Appl. Math., 21(1-2):77--103, 1990.
• Computation of Hilbert functions. J. Symbolic Comput., 14(1):31--50, 1992 (with Dave Bayer).
• Some matrices related to Green's conjecture. In Free resolutions in commutative algebra and algebraic geometry (Sundance, UT, 1990), volume~2 of Res. Notes Math., pages 79--90. Jones and Bartlett, Boston, MA, 1992 (with Dave Bayer).
• Computing the equations of a variety. Trans. Amer. Math. Soc., 337(2):677--690, 1993 (with Michela Brundu).
• Groebner bases and extension of scalars. Computational algebraic geometry and commutative algebra (Cortona, 1991), Sympos. Math., XXXIV, pages 198--215. Cambridge Univ. Press, Cambridge, 1993 (with Dave Bayer and Andre Galligo).