A. Ash, P. E. Gunnells, and M. Mcconnell, Torsion in the cohomology of congruence subgroups of <mml:math altimg="si1.gif" overflow="scroll" xmlns:xocs="http://www.elsevier.com/xml/xocs/dtd" xmlns:xs="http://www.w3.org/2001/XMLSchema" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns="http://www.elsevier.com/xml/ja/dtd" xmlns:ja="http://www.elsevier.com/xml/ja/dtd" xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:tb="http://www.elsevier.com/xml/common/table/dtd" xmlns:sb="http://www.elsevier.com/xml/common/struct-bib/dtd" xmlns:ce="http://www.elsevier.com/xml/common/dtd" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:cals="http://www.elsevier.com/xml/common/cals/dtd"><mml:mi mathvariant="normal">SL</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:mn>4</mml:mn><mml:mo>,</mml:mo><mml:mi mathvariant="double-struck">Z</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math> and Galois representations, Journal of Algebra, vol.325, issue.1, pp.404-415, 2011.
DOI : 10.1016/j.jalgebra.2010.07.024

E. Bach, Explicit bounds for primality testing and related problems, BB11] Valentin Blomer and Farrell BrumleyBCP97] Wieb Bosma Computational algebra and number theory, pp.355-380581, 1990.
DOI : 10.1090/S0025-5718-1990-1023756-8

B. Bekka, A. Pierre-de-la-harpe, and . Valette, Kazhdan's property (T), volume 11 of New Mathematical Monographs, 2008.

K. Belabas, Topics in computational algebraic number theory, Journal de Th??orie des Nombres de Bordeaux, vol.16, issue.1, pp.19-63, 2004.
DOI : 10.5802/jtnb.433

J. Biasse and C. Fieker, A polynomial time algorithm for computing the HNF of a module over the integers of a number field, Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation, ISSAC '12, pp.75-82, 2012.
DOI : 10.1145/2442829.2442844

Y. Bilu and G. Hanrot, Solving Thue equations of high degree [Bla06] Don Blasius. Hilbert modular forms and the Ramanujan conjecture. In Noncommutative geometry and number theory Commensurability classes and volumes of hyperbolic 3-manifolds, J. Number Theory Aspects Math. Ann. Scuola Norm. Sup. Pisa Cl. Sci, vol.60, issue.81, pp.373-392, 1981.

E. Berkove and A. Brooks, The mod 2 cohomology rings of SL 2 of the imaginary quadratic integers Some relations between spectral geometry and number theory, Topology '90, pp.61-751, 1990.

J. Buchmann, A subexponential algorithm for the determination of class groups and regulators of algebraic number fields, Progr. Math. Birkhäuser Boston, vol.91, pp.27-41, 1988.

J. Cheeger and D. G. Ebin, Comparison theorems in Riemannian geometry, 1975.
DOI : 10.1090/chel/365

T. Chinburg, E. Friedman, K. N. Jones, and A. W. Reid, The arithmetic hyperbolic 3-manifold of smallest volume, Ann. Scuola Norm. Sup. Pisa Cl. Sci, vol.30, issue.41, pp.1-40, 2001.

[. Cremona, T. Fisher, C. O. Neil, D. Simon, and M. Stoll, Explicit n-descent on elliptic curves. iii. algorithms. arXiv preprint, 2011.

F. R. Chung, A. Grigor, ?. Yan, and S. Yau, Eigenvalues and diameters for manifolds and graphs, Tsing Hua lectures on geometry & analysis, pp.79-105, 1990.

C. Corrales, E. Jespers, and G. Leal, Presentations of the unit group of an order in a non-split quaternion algebra, Advances in Mathematics, vol.186, issue.2, pp.498-524, 2004.
DOI : 10.1016/j.aim.2003.07.015

L. Clozel, D??monstration de la conjecture ??, CN13] Renaud Coulangeon and Gabriele Nebe, pp.297-328, 2003.
DOI : 10.1007/s00222-002-0253-8

H. Cohen, A course in computational algebraic number theory, Graduate Texts in Mathematics, vol.138, 1993.
DOI : 10.1007/978-3-662-02945-9

H. Cohen, Advanced topics in computational number theory, 2000.

T. Chinburg and M. Stover, Small generators for S-unit groups of division algebras. arXiv preprint arXiv:1204.5968, 2012. [CV12] Frank Calegari and Akshay Venkatesh. A torsion Jacquet?Langlands correspondence. arXiv preprint arXiv:1212 Explicit methods for Hilbert modular forms, DV13] Lassina Dembélé and John Voight Elliptic curves, Hilbert modular forms and Galois deformations, pp.135-198, 2012.

B. Patrick, M. Eberlein, and . Pohst, Geometry of nonpositively curved manifolds Improved methods for calculating vectors of short length in a lattice, including a complexity analysis, Chicago Lectures in Mathematics Math. Comp, vol.44, issue.170, pp.463-471, 1985.

T. Gelander, H. Gangl, E. Paul, J. Gunnells, and . Hanke, Volume versus rank of lattices On the cohomology of linear groups over imaginary quadratic fields, J. Reine Angew. Math. Achill Schürmann, vol.661, issue.13, pp.237-248, 2011.

E. Paul, F. Gunnells, D. Hajir, and . Yasaki, Modular forms and elliptic curves over the field of fifth roots of unity, Exp. Math, vol.22, issue.2, pp.203-216, 2013.

X. Guitart, M. Masdeu, and M. Haluk¸sengünhaluk¸sengün, Darmon points on elliptic curves over number fields of arbitrary signature. arXiv preprint, 2014.

A. Granville, Smooth numbers: computational number theory and beyond Algorithmic number theory: lattices, number fields, curves and cryptography Some general algorithms. I: Arithmetic groups, Math. Sci. Res. Inst. Publ. Annals of Mathematics, vol.44, issue.1123, pp.267-323531, 1980.

F. Grunewald and D. Segal, Decision problems concerning S-arithmetic groups, The Journal of Symbolic Logic, vol.3, issue.03, pp.743-772, 1985.
DOI : 10.1017/S030500410005787X

P. Günther, Einige Sätze über das Volumenelement eines Riemannschen Raumes, Publ. Math. Debrecen, vol.7, pp.78-93, 1960.

E. Paul, D. Gunnells, and . Yasaki, Hecke operators and Hilbert modular forms, Algorithmic number theory, pp.387-401, 2008.

E. Paul, D. Gunnells, and . Yasaki, Modular forms and elliptic curves over the cubic field of discriminant ?23, Int. J. Number Theory, vol.9, issue.1, pp.53-76, 2013.

H. Hida, On Abelian Varieties with Complex Multiplication as Factors of the Jacobians of Shimura Curves, American Journal of Mathematics, vol.103, issue.4, pp.727-776, 1981.
DOI : 10.2307/2374049

L. James, K. S. Hafner, and . Mccurley, A rigorous subexponential algorithm for computation of class groups, J. Amer. Math. Soc, vol.2, issue.4, pp.837-850, 1989.

M. Hindry, H. Joseph, and . Silverman, Diophantine geometry: an introduction, 2000.
DOI : 10.1007/978-1-4612-1210-2

G. Hanrot and D. Stehlé, Improved Analysis of Kannan???s Shortest Lattice Vector Algorithm, Lecture Notes in Comput. Sci, vol.4622, pp.170-186, 2007.
DOI : 10.1007/978-3-540-74143-5_10

M. Jahangiri, [. Jacquet, and R. P. Langlands, GENERATORS OF ARITHMETIC QUATERNION GROUPS AND A DIOPHANTINE PROBLEM, Automorphic forms on GL, pp.1311-1328, 1970.
DOI : 10.1142/S1793042110003551

R. Kannan, Improved algorithms for integer programming and related lattice problems Fuchsian groups, Proceedings of the fifteenth annual ACM symposium on Theory of computing, STOC '83, pp.193-206, 1983.

M. William, A. Kantor, and . Lubotzky, The probability of generating a finite classical group, Geom. Dedicata, vol.36, issue.1, pp.67-87, 1990.

A. W. Knapp, Representation theory of semisimple groups Princeton Landmarks in Mathematics An overview based on examples, Reprint of the 1986 original, 2001.

J. Klüners, S. Paulilen92, ]. H. Lenstra, and J. , Computing residue class rings and Picard groups of orders Algorithmic enumeration of ideal classes for quaternion orders Algorithms in algebraic number theory A computer-assisted application of Poincaré's fundamental polyhedron theorem, J. Algebra SIAM J. Comput. Bull. Amer. Math. Soc. (N.S.), vol.292, issue.262, pp.47-641714, 1992.

A. Lubotzky, S. Mozes, M. S. Raghunathan-laura-luzzi, G. Rekaya-ben-othman, and J. Belfiore, The word and Riemannian metrics on lattices of semisimple groups Algebraic reduction for the golden code, LPS88] A. Lubotzky, R. Phillips, and P. Sarnak. Ramanujan graphs. Combinatorica, pp.5-531, 1988.

A. Lubotzky, Discrete groups, expanding graphs and invariant measures. Modern Birkhäuser Classics, 2010.
DOI : 10.1007/978-3-0346-0332-4

A. W. Bernard-maskit and . Reid, On Poincaré's theorem for fundamental polygons The arithmetic of hyperbolic 3-manifolds, Advances in Math. Graduate Texts in Mathematics, vol.7, issue.219, pp.219-230, 1971.

H. Oh, constants, Duke Mathematical Journal, vol.113, issue.1, pp.133-192, 2002.
DOI : 10.1215/S0012-7094-02-11314-3

]. A. Pag10 and . Page, Computing fundamental domains for arithmetic Kleinian groups Master's thesis Computing arithmetic kleinian groups, press, preprint available at the url http, 2010.

A. Page, P. The, . Group, . Bordeaux, . Pari et al., An algorithm for the principal ideal problem in indefinite quaternion algebras . arXiv preprint arXiv:1405 Algebraic groups and number theory, Pure and Applied Mathematics, vol.6674, issue.139, 1994.
URL : https://hal.archives-ouvertes.fr/hal-00996346

G. Prasad, Volumes of S-arithmetic quotients of semi-simple groups, Publications math??matiques de l'IH??S, vol.69, issue.1, pp.91-117, 1989.
DOI : 10.1007/BF02698841

A. Rahm, Co)homologies et K-théorie de groupes de Bianchi par des modèles géométriques calculatoires, 2010.

A. D. Rahm, Abstract, LMS Journal of Computation and Mathematics, vol.40, pp.344-365, 2013.
DOI : 10.1090/S0002-9947-2012-05690-X

J. G. Ratcliffe, Foundations of hyperbolic manifolds [Rei03] I. Reiner. Maximal orders, Graduate Texts in Mathematics, vol.149, issue.28, 2003.

R. Riley, Applications of a computer implementation of Poincaré's theorem on fundamental polyhedra, Math. Comp, vol.40, issue.162, pp.607-632, 1983.

I. Rivin, Generic phenomena in groups?some answers and many questions. arXiv preprint arXiv:1211, 2012.

I. Rivin, How to pick a random integer matrix?(and other questions). arXiv preprint, 2013.

A. D. Rahm, M. Haluk-?engünsan67, ]. I. Sanov-sudarshan, and K. Sehgal, Abstract, Algebraic structures and number theory?en14] Mehmet Haluk ?engün Computations with modular forms Contributions in Mathematical and Computational Sciences, pp.187-199846, 1967.
DOI : 10.1016/j.crma.2012.09.001

J. Serre, Corps locaux, 1962.

J. Serre, Translated from the French by John Stillwell. [Sha00] Yehuda Shalom. Explicit Kazhdan constants for representations of semisimple and arithmetic groups, Ann. Inst. Fourier (Grenoble), vol.50, issue.3, pp.833-863, 1980.

C. Smyth, The Mahler measure of algebraic numbers: a survey, Number theory and polynomials, pp.322-349
DOI : 10.1017/CBO9780511721274.021

T. [. Sharma and . Venkataramana, Generators for arithmetic groups. arXiv preprint arXiv, p.409345, 2004.

R. G. Swan, Generators and relations for certain special linear groups, Advances in Mathematics, vol.6, issue.1, pp.1-77, 1971.
DOI : 10.1016/0001-8708(71)90027-2

M. Vignéras, Arithmétique des algèbres de quaternions, Lecture Notes in Mathematics, vol.800, 1980.
DOI : 10.1007/BFb0091027

J. Voight, Computing CM Points on Shimura Curves Arising from Cocompact Arithmetic Triangle Groups, Algorithmic number theory, pp.406-420, 2006.
DOI : 10.1007/11792086_29

J. Voightweh07 and ]. B. Wehrfritz, Computing fundamental domains for Fuchsian groups An accelerated Buchmann algorithm for regulator computation in real quadratic fields Discrete nilpotent subgroups of Lie groups Nilpotent subgroups of finite-dimensional division algebras, Algorithmic number theoryWan69] Hsien-chung Wang, pp.469-491, 1969.

D. Yasaki, Hyperbolic Tessellations Associated to Bianchi Groups, Algorithmic number theory, pp.385-396, 2010.
DOI : 10.1007/978-3-642-14518-6_30