[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