  
  
  [1XReferences[101X
  
  [[20XBLH11[120X]  [16XBarakat,  M.  and  Lange-Hegermann,  M.[116X,  [17XAn  axiomatic  setup  for
  algorithmic homological algebra and an alternative approach to localization[117X,
  [18XJ.~Algebra Appl.[118X, [19X10[119X, 2 (2011), 269--293.
  
  [[20XBLH20[120X]  [16XBarakat,  M. and Lange-Hegermann, M.[116X, [17XThe mathtthomalg package -- A
  homological   algebra   mathsfGAP4   meta-package   for  computable  Abelian
  categories[117X                                                     (2007--2020),
  (((\url{https://homalg-project.github.io/pkg/homalg}))).
  
  [[20XBR06[120X]          [16XBarakat,         M.         and         Robertz,         D.[116X,
  [17X\hrefhttps://algebra.mathematik.uni-siegen.de/barakat/eaca/homalg_eaca06.pdfmathtthomalg:
  First  steps  to an abstract package for homological algebra[117X, 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.
  
  [[20Xtpa22[120X]  [16X{homalg project authors}, [116X, [17XThe mathtthomalg project -- Algorithmic
  Homological                       Algebra[117X                      (2003--2022),
  (\url{https://homalg-project.github.io/prj/homalg_project}).
  
  
  
  [32X
