Computing ``small'' 1-homological modules for CDGAs.

CHATA group of Seville - Computational Homological Algebra & Algebraic
Topology and Applications Group: V. \'Alvarez, J. A. Armario, M. D. Frau,
D\'iaz R. Gonz\'alez, M. J. Jim\'enez, P. Real and B. Silva

Abstract: We use a homological perturbation machinery specific for the
algebra category [13.3] to give an algorithm for computing the differential
structure of a small 1-homological model for commutative differential
graded algebras (briefly, CDGAs). The complexity of the process is studied
and a computer package in Mathematica is described for determining such
models.