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), 157162 (1986).
(refereed proceedings)

A criterion for detecting mregularity,
Invent. Math., 87(1):111, 1987 (with Dave Bayer).

A theorem on refining division orders by the reverse lexicographic
order,
Duke Math. J., 55(2):321328, 1987 (with Dave Bayer).

On the complexity of computing syzygies,
J. Symbolic Comput., 6(23):135147, 1988 (with Dave Bayer).

Determinantal equations for curves of high degree,
Amer. J. Math., 110(3):513539, 1988 (with David Eisenbud and Jee Koh).

Linear syzygies and line bundles on an algebraic curve,
J. Algebra, 125(1):120132, 1989 (with Jee Koh).

Methods for computing in algebraic geometry and commutative algebra,
Acta Appl. Math., 21(12):77103, 1990.

Computation of Hilbert functions.
J. Symbolic Comput., 14(1):3150, 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
7990. Jones and Bartlett, Boston, MA, 1992 (with Dave Bayer).

Computing the equations of a variety,
Trans. Amer. Math. Soc., 337(2):677690, 1993 (with Michela Brundu).

Groebner bases and extension of scalars.
Computational algebraic geometry and commutative algebra
(Cortona, 1991), Sympos. Math., XXXIV, pages 198215. Cambridge Univ.
Press, Cambridge, 1993 (with Dave Bayer and Andre Galligo).

Smoothness of the lexicographic point,
J. Alg. Geom. 6 (1997) 23524 (with Alyson Reeves).
 A family of ideals of minimal regularity and the Hilbert Series of C^r(Delta),
Adv. in Applied Math. 19 (1997) 169182 (with Hal Schenck).
 Local cohomology of bivariate splines,
J. Pure and Applied Algebra 117, 118 (1997) 535548 (with Hal Schenck).




