[Bar09] Barakat, M.,
Spectral filtrations via generalized morphisms
(2009)
((\href{http://arxiv.org/abs/0904.0240}{\texttt{arXiv:0904.0240}})).
[BR06] Barakat, M. and Robertz, D., \hrefhttps://algebra.mathematik.uni-siegen.de/barakat/eaca/homalg_eaca06.pdfmathtthomalg: First steps to an abstract package for homological algebra, in Proceedings of the X meeting on computational algebra and its applications - \hrefhttp://alojamientos.us.es/eaca2006/eaca2006_eng.htmlEACA 2006, Sevilla, Spain (2006), 29--32.
[BR08] Barakat, M. and Robertz, D.,
mathtthomalg -- A meta-package for homological
algebra,
J. Algebra Appl.,
7 (3)
(2008),
299--317
((\href{http://arxiv.org/abs/math.AC/0701146}{\texttt{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