This book presents algorithmic tools for algebraic geometry, with experimental applications. It also introduces Macaulay 2, a computer algebra system supporting research in algebraic geometry, commutative algebra, and their applications. The algorithmic tools presented here are designed to serve readers wishing to bring such tools to bear on their own problems. The first part of the book covers Macaulay 2 using concrete applications; the second emphasizes details of the mathematics.
I Introducing Macaulay 2.- Ideals, Varieties and Macaulay 2.- Projective Geometry and Homological Algebra.- Data Types, Functions, and Programming.- Teaching the Geometry of Schemes.- II Mathematical Computations.- Monomial Ideals.- From Enumerative Geometry to Solving Systems of Polynomial Equations.- Resolutions and Cohomology over Complete Intersections.- Algorithms for the Toric Hilbert Scheme.- Sheaf Algorithms Using the Exterior Algebra.- Needles in a Haystack: Special Varieties via Small Fields.- D-modules and Cohomology of Varieties.