W. Bosma, J. J. Cannon, and C. Playoust, The Magma Algebra System I: The User Language, Computational algebra and number theory, pp.235-266, 1993.
DOI : 10.1006/jsco.1996.0125

I. N. Bern?te?-in and I. M. , Gel 1 fand, and S. I. Gel 1 fand, Algebraic vector bundles on P n and problems of linear algebra, Funktsional. Anal. i Prilozhen, vol.1280, issue.3, pp.66-67, 1978.

J. D. Dixon, Constructing representations of finite groups, Groups and computation, Pullbacks of the Horrocks-Mumford bundle, pp.105-112, 1987.

D. Eisenbud, G. Fløystad, and F. Schreyer, Sheaf cohomology and free resolutions over exterior algebras, Transactions of the American Mathematical Society, vol.355, issue.11, pp.4397-442614031, 2003.
DOI : 10.1090/S0002-9947-03-03291-4

D. Eisenbud and F. Schreyer, Betti numbers of graded modules and cohomology of vector bundles, Journal of the American Mathematical Society, vol.22, issue.3, pp.859-888, 2009.
DOI : 10.1090/S0894-0347-08-00620-6

C. Fieker, W. Hart, T. Hofmann, and F. Johansson, Version 0.3, http://nemocas. org. 17 [Flø00] G. Fløystad, Describing coherent sheaves on projective spaces via Koszul duality, ArXiv Mathematics e-prints 11 [Flø12] Gunnar Fløystad, Boij-Söderberg theory: introduction and survey, Progress in commutative algebra 1, de Gruyter, pp.1-54, 2000.

G. The and . Group, GAP ? Groups, Algorithms, and Programming, Version 4, 2017.

S. I. Gelfand and Y. I. Manin, Homological algebra, Algebra, V, Encyclopaedia Math. Sci, vol.38, issue.4, pp.1-222, 1994.

S. Gutsche, Ø. Skartsaeterhagen, and S. Posur, The CAP project ? Categories , Algorithms, Programming, (http://homalg-project.github, pp.2013-2017

D. Happel, On the derived category of a finite-dimensional algebra, Commentarii Mathematici Helvetici, vol.62, issue.1, pp.339-389, 1987.
DOI : 10.1007/BF02564452

, Varieties of small codimension in projective space, Bull. Amer. Math. Soc, vol.80, issue.2, pp.1017-1032, 1974.

G. Horrocks and D. Mumford, A rank 2 vector bundle on P 4 with 15, 000 symmetries, ML98] Saunders Mac Lane, Categories for the working mathematician, pp.63-81, 1973.

C. Okonek, M. Schneider, and H. Spindler, Vector bundles on complex projective spaces, Modern Birkhäuser Classics Corrected reprint of the 1988 edition, With an appendix by S. I. Gelfand, pp.281567414073-3, 2011.

P. Posur, Constructive category theory and applications to equivariant sheaves, p.17, 1179.