A. Atkin, The number of points on an elliptic curve modulo a prime', manuscript, 1988.

M. Bardet, Etude des systèmes algébriques surdéterminés. Applications aux codes correcteurs etàetà la cryptographie, 2004.

E. Becker, T. Mora, M. G. Marinari, and C. Traverso, The shape of the Shape Lemma, Proceedings of the international symposium on Symbolic and algebraic computation , ISSAC '94, pp.129-133, 1994.
DOI : 10.1145/190347.190382

C. Birkenhake and H. Lange, Complex abelian varieties, Fundamental Principles of Mathematical Sciences, vol.302, 2004.
DOI : 10.1007/978-3-662-06307-1

G. Bisson, R. Cosset, and D. Robert, AVIsogenies (Abelian Varieties and Isogenies) Magma package for explicit isogeny computation between abelian varieties, 2010.

G. Bisson and M. Streng, On polarised class groups of orders in quartic CM-fields, Mathematical Research Letters, vol.24, issue.2, 2013.
DOI : 10.4310/MRL.2017.v24.n2.a1

G. Bisson and A. V. Sutherland, Computing the endomorphism ring of an ordinary elliptic curve over a finite field, Journal of Number Theory, vol.131, issue.5, pp.815-831, 2011.
DOI : 10.1016/j.jnt.2009.11.003
URL : https://hal.archives-ouvertes.fr/inria-00383155

A. Bostan, F. Morain, B. Salvy, and E. Schost, Fast algorithms for computing isogenies between elliptic curves, Mathematics of Computation, vol.77, issue.263, pp.1755-1778, 2008.
DOI : 10.1090/S0025-5718-08-02066-8
URL : https://hal.archives-ouvertes.fr/inria-00091441

R. Bröker, K. Lauter, and A. V. Sutherland, Modular polynomials via isogeny volcanoes, Mathematics of Computation, vol.81, issue.278, pp.1201-1231, 2012.
DOI : 10.1090/S0025-5718-2011-02508-1

R. Cosset and D. Robert, An algorithm for computing (, )-isogenies in polynomial time on Jacobians of hyperelliptic curves of genus 2, Math. Comput, 2013.

N. Elkies, Explicit isogenies', manuscript, 1992.

J. C. Faugère, P. Gianni, D. Lazard, and T. Mora, Efficient Computation of Zero-dimensional Gr??bner Bases by Change of Ordering, Journal of Symbolic Computation, vol.16, issue.4, pp.329-344, 1993.
DOI : 10.1006/jsco.1993.1051

J. Faugère, D. Lubicz, and D. Robert, Computing modular correspondences for abelian varieties, Journal of Algebra, vol.343, issue.1, pp.248-277, 2011.
DOI : 10.1016/j.jalgebra.2011.06.031

M. Fouquet and F. Morain, Isogeny Volcanoes and the SEA Algorithm, Lecture Notes in Computer Science, vol.2369, pp.276-291, 2002.
DOI : 10.1007/3-540-45455-1_23
URL : ftp://lix.polytechnique.fr/pub/submissions/morain/Preprints/LIX:RR:00:05:volcanoes.ps.Z

P. Gaudry and . Schost, Construction of Secure Random Curves of Genus 2 over Prime Fields, Lecture Notes in Computer Science Cachin and J, vol.3027, pp.239-256, 2004.
DOI : 10.1007/978-3-540-24676-3_15
URL : https://hal.archives-ouvertes.fr/inria-00514121

J. Igusa, Theta functions, Die Grundlehren der mathematischen Wissenschaften, Band, vol.194, 1972.

S. Koizumi, Theta Relations and Projective Normality of Abelian Varieties, American Journal of Mathematics, vol.98, issue.4, pp.865-889, 1976.
DOI : 10.2307/2374034

D. Lazard, Gr??bner bases, Gaussian elimination and resolution of systems of algebraic equations, Lecture Notes in Computer Science, vol.162, pp.146-156, 1983.
DOI : 10.1007/3-540-12868-9_99

D. Lazard, Ideal Bases and Primary Decomposition: Case of Two Variables, Journal of Symbolic Computation, vol.1, issue.3, pp.261-270, 1985.
DOI : 10.1016/S0747-7171(85)80035-3
URL : https://doi.org/10.1016/s0747-7171(85)80035-3

D. Lazard, Solving zero-dimensional algebraic systems, Journal of Symbolic Computation, vol.13, issue.2, pp.117-132, 1992.
DOI : 10.1016/S0747-7171(08)80086-7
URL : https://doi.org/10.1016/s0747-7171(08)80086-7

D. Lubicz and D. Robert, Efficient Pairing Computation with Theta Functions, Lecture Notes in Computer Science, vol.6197, pp.251-269
DOI : 10.1007/978-3-642-14518-6_21
URL : https://hal.archives-ouvertes.fr/hal-00528944

D. Lubicz and D. Robert, Computing isogenies between abelian varieties, Compositio Mathematica, vol.2, issue.05, pp.1483-1515, 2012.
DOI : 10.1515/crll.1837.16.221
URL : https://hal.archives-ouvertes.fr/hal-00446062

D. Lubicz and D. Robert, A generalisation of Miller's algorithm and applications to pairing computations on abelian varieties, Journal of Symbolic Computation, vol.67, pp.68-92, 2015.
DOI : 10.1016/j.jsc.2014.08.001

D. Mumford, On the equations defining abelian varieties. I, Inventiones Mathematicae, vol.111, issue.4, pp.287-354, 1966.
DOI : 10.1007/978-3-662-00095-3

D. Mumford, Tata lectures on theta I, Progress in Mathematics, vol.28, 1983.
DOI : 10.1007/978-1-4899-2843-6

R. Schoof, Elliptic curves over finite fields and the computation of square roots mod p, Math. Comput, vol.44, issue.170, pp.483-494, 1985.

R. Schoof, Counting points on elliptic curves over finite fields, Journal de Th??orie des Nombres de Bordeaux, vol.7, issue.1, pp.219-254, 1995.
DOI : 10.5802/jtnb.142
URL : http://www.emath.fr/Maths/Jtnb/SAUVE/almira.math.u-bordeaux.fr/jtnb/1995-1/schoof.ps

A. V. Sutherland, Computing Hilbert class polynomials with the Chinese remainder theorem, Mathematics of Computation, vol.80, issue.273, pp.501-538, 2011.
DOI : 10.1090/S0025-5718-2010-02373-7
URL : http://www.ams.org/mcom/2011-80-273/S0025-5718-2010-02373-7/S0025-5718-2010-02373-7.pdf