[Bar] Barakat, M.,
Spectral Filtrations via Generalized Morphisms,
,
()
(),
(arxiv.org/abs/0904.0240).
[BR06] Barakat, M. and Robertz, D.,
homalg: First steps to an abstract package for homological
algebra,
in Proceedings of the X meeting on computational algebra and its
applications (EACA 2006), Sevilla (Spain)
(2006),
29--32
(http://homalg.math.rwth-aachen.de/maple/homalg_eaca06.pdf).
[BR08] Barakat, M. and Robertz, D.,
homalg -- A Meta-Package for Homological
Algebra,
J. Algebra Appl.,
7 (3)
(2008),
299--317
(arXiv:math.AC/0701146).
[CQ11] Coquand, T. and Quitté, C., Constructive finite free resolutions, manuscripta mathematica, Springer Berlin / Heidelberg (2011), 1-15.
generated by GAPDoc2HTML