On constructing resolutions over the polynomial
Leif Johansson, Larry A. Lambe, Emil Sköldberg · Homology Homotopy and Applications · 2002
Let k be a field, and A be a polynomial algebra over k.Let I ⊆ 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.