M. Baker, Cartier points on curves, International Mathematics Research Notices, issue.7, pp.353-370, 2000.

D. Bayer and M. Stillman, On the complexity of computing syzygies, Journal of Symbolic Computation, vol.6, pp.135-147, 1988.

W. Bosma, J. Cannon, and C. Playoust, The Magma algebra system. I. The user language, Journal of Symbolic Computation, vol.24, pp.235-265, 1997.

A. Bostan, P. Gaudry, and É. Schost, Linear recurrences with polynomial coefficients and computation of the Cartier-Manin operator on hyperelliptic curves, Finite Fields and Applications. Fq, pp.40-58, 2003.
URL : https://hal.archives-ouvertes.fr/inria-00514132

P. Bruin and F. Najman, Hyperelliptic modular curves X 0 (n) and isogenies of elliptic curves of quadratic fields, LMS J. Compute. Math, vol.18, issue.1, pp.578-602, 2015.

J. Cannon, Magma A Computer Algebra System, School of Mathematics and Statistics, 2016.

A. Capani, G. De-dominicis, G. Niesi, and L. Robbiano, Computing minimal finite free resolutions, Journal of Pure and Applied Algebra, pp.105-117, 1997.

W. Castryck, T. Decru, and B. Smith, Hash functions from superspecial genus-2 curves using Richelot isogenies, Proceedings of Number-Theoretic Methods in Cryptology 2019, 2019.
URL : https://hal.archives-ouvertes.fr/hal-02067885

T. O. Celik, Y. Elias, B. Gunes, R. Newton, E. Ozman et al., Non-Ordinary curves with a Prym variety of low p-rank, Women in Numbers Europe II. Association for Women in Mathematics Series, vol.11, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01579544

D. Cox, J. Little, and D. Shea, Free Resolutions, Using Algebraic Geometry. GTM 185, 1998.

W. Decker and D. Eisenbud, Sheaf Algorithm Using the Exterior Algebra, pp.215-249, 2002.

W. Decker and C. Lossen, Computing in Algebraic Geometry, A Quick Start using SINGULAR, ACM, vol.16, 2000.

D. Eisenbud, Commutative Algebra: With a View Toward Algebraic Geometry, GTM, vol.150, 1995.

D. Eisenbud, Chapter 8: Computing cohomology, pp.219-226, 1998.

D. Eisenbud, D. R. Grayson, M. Stillman, and B. Sturmfels, Computations in Algebraic Geometry with Macaulay2, 2002.

D. Eisenbud, G. Fløystad, and F. Schreyer, Sheaf Cohomology and Free Resolutions over Exterior Algebras, Trans. Amer. Math. Soc, vol.355, issue.11, pp.4397-4426, 2003.

B. Erocal, O. Motsak, F. Schreyer, and A. Steenpass, Refined Algorithms to Compute Syzygies, J. Symb. Comput, vol.74, pp.308-327, 2016.

S. D. Galbraith, Equations for modular curves, 1996.

S. D. Galbraith, Mathematics in Public Key Cryptography, 2012.

J. González, Hasse-Witt matrices for the Fermat curves of prime degree, Tohoku, Math. J, issue.2, pp.149-163, 1997.

G. Greuel and G. Pfister, A Singular Introduction to Commutative Algebra, 2007.

R. Hartshorne, Algebraic Geometry, GTM, vol.52, 1977.

D. Harvey and A. V. Sutherland, Computing Hasse-Witt matrices of hyperelliptic curves in average polynomial time, LMS Journal of Computation and Mathematics, vol.17, pp.257-273, 2014.

E. Horowitz, The Efficient Calculation of Powers of Polynomials, Journal of Computer and System Science, vol.7, pp.469-480, 1973.

G. Horrocks and D. Mumford, A rank 2 vector bundle on P 4 with 15, 000 symmetries, Topology, vol.12, issue.1, pp.63-81, 1973.

H. Komoto, S. Kozaki, and K. Matsuo, Improvements in the computation of the Hasse-Witt matrix, vol.2, pp.17-20, 2010.

M. Kreuzer and L. Robbiano, Computational Commutative Algebra, vol.2, 2005.

M. Kudo, Analysis of an algorithm to compute the cohomology groups of coherent sheaves and its applications, Japan Journal of Industrial and Applied Mathematics, vol.34, issue.1, pp.1-40, 2017.

M. Kudo and S. Harashita, Superspecial curves of genus 4 in small characteristic, Finite Fields and Their Applications, vol.45, pp.131-169, 2017.

M. Kudo and S. Harashita, Computational approach to enumerate nonhyperelliptic superspecial curves of genus 4, Tokyo Journal of Mathematics, 2017.

M. Kudo and S. Harashita, Enumerating Superspecial Curves of Genus 4 over Prime Fields (abstract version of Kudo and Harashita, Proceedings of The Tenth International Workshop on Coding and Cryptography 2017 (WCC2017), 2017.

E. Kunz, Characterization of regular local rings of characteristic p, American Journal of Mathematics, vol.41, pp.772-784, 1969.

L. Scala and R. , Computing minimal free resolutions of right modules over noncommutative algebras, Journal of Algebra, vol.478, pp.458-483, 2017.

L. Scala, R. Stillman, and M. , Strategies for Computing Minimal Free Resolutions, J. Symb. Comput, vol.26, issue.4, pp.409-431, 1998.

C. Liedtke, Algebraic Surfaces in Positive Characteristic, Birational Geometry, Rational Curves, and Arithmetic, 2013.

J. I. Manin, The Hasse-Witt matrix of an algebraic curve, Izv. Akad. Nauk SSSR Ser. Mat, vol.2, p.1638, 1961.

N. Manolache, Syzygies of abelian surfaces embedded in P 4 (C), J. Reine Angew. Math, vol.384, pp.180-191, 1988.

M. Maruyama, Gröbner Bases and their Application, 2002.

C. Miler, The Frobenius endomorphism and homological dimensions, arXiv, math. AC: 0301208v3, 2003.

F. Schreyer, Die Berechnung von Syzygien mit dem verallgemeinerten Weierstrasschen Divisionssatz. Diplomarbeit, 1980.

F. Schreyer, A Standard Basis Approach to Syzygies of Canonical Curves, J. Reine Angew. Math, vol.421, pp.83-123, 1991.

G. G. Smith, Computing Global Extension Module, Journal of Symbolic Computation, vol.29, pp.729-746, 2000.

J. Tuitman, Counting points on curves using a map to P 1 , II, 2014.

W. Vasconcelos, Computational Methods in Commutative Algebra and Algebraic Geometry, Algorithms and Computation in Mathematics, vol.2, 1998.

K. Stöhr and J. F. Voloch, A formula for the Cartier operator on plane algebraic curves, J. Reine Angew. Math, vol.377, pp.49-64, 1987.

N. Yui, On the Jacobian varieties of hyperelliptic curves over fields of characterisctic p > 2, Journal of algebra, vol.52, pp.378-410, 1978.

, Computing representation matrices for the Frobenius on cohomology groups