Inverted Vita
    Dave Bayer

    http://www.math.columbia.edu/~bayer/papers/

    Dave Bayer, Amelia Taylor,
    Reverse search for monomial ideals
    J. Symbolic Comput. 44 (2009), no. 10, 1477--1486



    A Beautiful Mind
    Film, Universal Studios, 2001
    Directed by Ron Howard and produced by Brian Grazer, with a screenplay by Akiva Goldsman

    Math consultant, actor


    Dave Bayer, Sorin Popescu, Bernd Sturmfels
    Syzygies of unimodular Lawrence ideals
    J. Reine Angew. Math. 534 (2001), 169-186



    Dave Bayer
    Proof - A Theater Review
    Notices of the A.M.S. October 2000, Volume 47, Number 9, 1082-1084
    See http://www.ProofonBroadway.com/ for current production.



    Dave Bayer, Hara Charalambous, Sorin Popescu
    Extremal Betti numbers and applications to monomial ideals
    J. Algebra 221 (1999), no. 2, 497-512



    Dave Bayer, Bernd Sturmfels
    Cellular resolutions of monomial modules
    J. Reine Angew. Math. 502 (1998), 123-140



    Dave Bayer, Irena Peeva, Bernd Sturmfels
    Monomial resolutions
    Math. Res. Lett. 5 (1998), no. 1-2, 31-46



    Dave Bayer
    Combinatorics and syzygies
    Lecture, Symbolic Computation Workshop, October 12-16, 1998
    Mathematical Sciences Research Institute



    Dave Bayer, Sorin Popescu
    Algorithms in algebra and geometry
    18 Lectures, Algorithmic Algebra and Geometry: Summer Program for Graduate Students of MSRI Sponsoring Institutions, July 6-17, 1998
    Mathematical Sciences Research Institute



    Dave Bayer
    Monomial ideals and duality
    Lecture notes, 1996. 32 pages



    Dave Bayer, David Eisenbud
    Ribbons and their canonical embeddings
    Trans. Amer. Math. Soc. 347 (1995), no. 3, 719-756



    Dave Bayer, David Mumford
    What can be computed in algebraic geometry?
    Computational algebraic geometry and commutative algebra (Cortona, 1991), 1-48
    Sympos. Math., XXXIV, Cambridge Univ. Press, Cambridge, 1993. ISBN 0521442184



    Dave Bayer, Andre Galligo, Mike Stillman
    Grobner bases and extension of scalars
    Computational algebraic geometry and commutative algebra (Cortona, 1991), 198-215
    Sympos. Math., XXXIV, Cambridge Univ. Press, Cambridge, 1993. ISBN 0521442184



    Dave Bayer, Mike Stillman
    Computation of Hilbert functions
    J. Symbolic Comput. 14 (1992), no. 1, 31-50



    Dave Bayer, Stuart Haber, W. Scott Stornetta
    Improving the efficiency and reliability of digital time-stamping
    Sequences II: Methods in Communication, Security, and Computer Science, 329-334
    ed. R.M. Capocelli, A. De Santis, U. Vaccaro, Springer-Verlag, New York, 1993. ISBN 0387979409



    Dave Bayer, Mike Stillman
    Some matrices related to Green's conjecture
    Free resolutions in commutative algebra and algebraic geometry (Sundance, UT, 1990), 79-90
    Res. Notes Math. 2, Jones and Bartlett, Boston, MA, 1992. ISBN 0867202858



    Dave Bayer, Persi Diaconis
    Trailing the dovetail shuffle to its lair
    Ann. Appl. Probab. 2 (1992), no. 2, 294-313



    Dave Bayer, Jeffrey Lagarias
    Karmarkar's linear programming algorithm and Newton's method
    Math. Programming 50 (1991), no. 3, (Ser. A), 291-330



    Dave Bayer, David Eisenbud
    Graph curves. With an appendix by Sung Won Park
    Adv. Math. 86 (1991), no. 1, 1-40



    Dave Bayer, Jeffrey Lagarias
    The nonlinear geometry of linear programming. II. Legendre transform coordinates and central trajectories
    Trans. Amer. Math. Soc. 314 (1989), no. 2, 527-581



    Dave Bayer, Jeffrey Lagarias
    The nonlinear geometry of linear programming. I. Affine and projective scaling trajectories
    Trans. Amer. Math. Soc. 314 (1989), no. 2, 499-526



    Dave Bayer, Narendra Karmarkar, Jeffrey Lagarias
    Method and apparatus for optimizing system operational parameters,
    United States patent 4,744,027, May 10, 1988



    Dave Bayer, Mike Stillman
    On the complexity of computing syzygies
    Computational aspects of commutative algebra. J. Symbolic Comput. 6 (1988), no. 2-3, 135-147



    Dave Bayer, Ian Morrison
    Standard bases and geometric invariant theory. I. Initial ideals and state polytopes
    Computational aspects of commutative algebra. J. Symbolic Comput. 6 (1988), no. 2-3, 209-217



    Dave Bayer, Mike Stillman
    A theorem on refining division orders by the reverse lexicographic order
    Duke Math. J. 55 (1987), no. 2, 321-328



    Dave Bayer, Mike Stillman
    A criterion for detecting m-regularity
    Invent. Math. 87 (1987), no. 1, 1-11



    Dave Bayer, Mike Stillman
    The design of Macaulay: a system for computing in algebraic geometry and commutative algebra
    Symsac '86. Proceedings of the 1986 symposium on symbolic and algebraic manipulation
    Association for Computing Machinery, New York, NY, 1986, 157-162
    A.C.M. order number 505860


    Jerry Tersoff, Dave Bayer
    Quantum statistics for distinguishable particles
    Phys. Rev. Lett. 50 (1983), no. 8, 553-554



    Dave Bayer, Mike Stillman
    Macaulay: A system for computation in algebraic geometry and commutative algebra
    Source and object code available for Unix and Macintosh computers
    http://www.math.columbia.edu/~bayer/Macaulay



    Dave Bayer
    The division algorithm and the Hilbert scheme
    Ph.D. Thesis, Harvard University, June 1982. 168 pages



    Dave Bayer

    Department of Mathematics
    Barnard College
    Columbia University
    2990 Broadway MC 4417
    New York, NY 10027-6902

    426 Mathematics
    212 854 2643 (voice)
    212 854 8962 (fax)
    http://www.math.columbia.edu/~bayer
    bayer@math.columbia.edu

    Professor, Barnard College, 1995-present
    Member, Mathematical Sciences Research Institute, 1995-1996
    Associate Professor, Barnard College, 1990-1995
    Visiting Lecturer on Mathematics, Harvard University, 1988-89
    Visiting Assistant Professor, Barnard College, 1987-88
    Ritt Assistant Professor, Columbia University, 1982-90
    Teaching Fellow, Harvard University, 1978-82

    Ph.D., Harvard University, June 1982. Thesis advisor: Heisuke Hironaka
    B.A. with Highest Honors, Swarthmore College, June 1977

    Born November 29, 1955, Rochester, New York. United States citizen


    A print vita is available at http://www.math.columbia.edu/~bayer/papers/vita.pdf