On constructing resolutions over the polynomial

Abstract

Let $k$ be a field, and $A$ be a polynomial algebra over $k$. Let $I\subseteq A$ be an ideal. We present a novel method for computing resolutions of $A/I$ over $A$. The method is a synthesis of Gröbner basis techniques and homological perturbation theory. The examples in this paper were computed using computer algebra.