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
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
Kazhdan's property (T), volume 11 of New Mathematical Monographs, 2008. ,
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
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
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. ,
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. ,
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. ,
Comparison theorems in Riemannian geometry, 1975. ,
DOI : 10.1090/chel/365
The arithmetic hyperbolic 3-manifold of smallest volume, Ann. Scuola Norm. Sup. Pisa Cl. Sci, vol.30, issue.41, pp.1-40, 2001. ,
Explicit n-descent on elliptic curves. iii. algorithms. arXiv preprint, 2011. ,
Eigenvalues and diameters for manifolds and graphs, Tsing Hua lectures on geometry & analysis, pp.79-105, 1990. ,
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
D??monstration de la conjecture ??, CN13] Renaud Coulangeon and Gabriele Nebe, pp.297-328, 2003. ,
DOI : 10.1007/s00222-002-0253-8
A course in computational algebraic number theory, Graduate Texts in Mathematics, vol.138, 1993. ,
DOI : 10.1007/978-3-662-02945-9
Advanced topics in computational number theory, 2000. ,
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. ,
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. ,
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. ,
Modular forms and elliptic curves over the field of fifth roots of unity, Exp. Math, vol.22, issue.2, pp.203-216, 2013. ,
Darmon points on elliptic curves over number fields of arbitrary signature. arXiv preprint, 2014. ,
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. ,
Decision problems concerning S-arithmetic groups, The Journal of Symbolic Logic, vol.3, issue.03, pp.743-772, 1985. ,
DOI : 10.1017/S030500410005787X
Einige Sätze über das Volumenelement eines Riemannschen Raumes, Publ. Math. Debrecen, vol.7, pp.78-93, 1960. ,
Hecke operators and Hilbert modular forms, Algorithmic number theory, pp.387-401, 2008. ,
Modular forms and elliptic curves over the cubic field of discriminant ?23, Int. J. Number Theory, vol.9, issue.1, pp.53-76, 2013. ,
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
A rigorous subexponential algorithm for computation of class groups, J. Amer. Math. Soc, vol.2, issue.4, pp.837-850, 1989. ,
Diophantine geometry: an introduction, 2000. ,
DOI : 10.1007/978-1-4612-1210-2
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
GENERATORS OF ARITHMETIC QUATERNION GROUPS AND A DIOPHANTINE PROBLEM, Automorphic forms on GL, pp.1311-1328, 1970. ,
DOI : 10.1142/S1793042110003551
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. ,
The probability of generating a finite classical group, Geom. Dedicata, vol.36, issue.1, pp.67-87, 1990. ,
Representation theory of semisimple groups Princeton Landmarks in Mathematics An overview based on examples, Reprint of the 1986 original, 2001. ,
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. ,
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. ,
Discrete groups, expanding graphs and invariant measures. Modern Birkhäuser Classics, 2010. ,
DOI : 10.1007/978-3-0346-0332-4
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. ,
constants, Duke Mathematical Journal, vol.113, issue.1, pp.133-192, 2002. ,
DOI : 10.1215/S0012-7094-02-11314-3
Computing fundamental domains for arithmetic Kleinian groups Master's thesis Computing arithmetic kleinian groups, press, preprint available at the url http, 2010. ,
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
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
Co)homologies et K-théorie de groupes de Bianchi par des modèles géométriques calculatoires, 2010. ,
Abstract, LMS Journal of Computation and Mathematics, vol.40, pp.344-365, 2013. ,
DOI : 10.1090/S0002-9947-2012-05690-X
Foundations of hyperbolic manifolds [Rei03] I. Reiner. Maximal orders, Graduate Texts in Mathematics, vol.149, issue.28, 2003. ,
Applications of a computer implementation of Poincaré's theorem on fundamental polyhedra, Math. Comp, vol.40, issue.162, pp.607-632, 1983. ,
Generic phenomena in groups?some answers and many questions. arXiv preprint arXiv:1211, 2012. ,
How to pick a random integer matrix?(and other questions). arXiv preprint, 2013. ,
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
Corps locaux, 1962. ,
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. ,
The Mahler measure of algebraic numbers: a survey, Number theory and polynomials, pp.322-349 ,
DOI : 10.1017/CBO9780511721274.021
Generators for arithmetic groups. arXiv preprint arXiv, p.409345, 2004. ,
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
Arithmétique des algèbres de quaternions, Lecture Notes in Mathematics, vol.800, 1980. ,
DOI : 10.1007/BFb0091027
Computing CM Points on Shimura Curves Arising from Cocompact Arithmetic Triangle Groups, Algorithmic number theory, pp.406-420, 2006. ,
DOI : 10.1007/11792086_29
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. ,
Hyperbolic Tessellations Associated to Bianchi Groups, Algorithmic number theory, pp.385-396, 2010. ,
DOI : 10.1007/978-3-642-14518-6_30