A. Figure, The subfunction FinishStabilizer of the function computeVertexStabi- lizer3mod4

A. Figure, 11: The function getIdentificationMatrices3mod4, continued from figure A.10. getIdentificationMatrices(p, p.2

A. Figure, 13: The function getIdentificationMatrices

A. Figure, 14: The function getIdentificationMatrices, continued from figure A

A. Ash, Deformation retracts with lowest possible dimension of arithmetic quotients of self-adjoint homogeneous cones, Zbl 0343, pp.69-76, 1977.
DOI : 10.1007/BF01364892

R. Aurich, F. Steiner, and H. Then, Numerical computation of Maass waveforms and an application to cosmology, Contribution to the Proceedings of the, International School on Mathematical Aspects of Quantum Chaos II, 2004.

P. Baum, A. Connes, and N. Higson, Classifying space for proper actions and K-theory of group C * -algebras, C * -algebras, Contemp. Math, vol.16796, pp.1943-1993, 1993.

E. Berkove, The integral cohomology of the Bianchi groups, Transactions of the American Mathematical Society, vol.358, issue.03, pp.1033-1049, 2000.
DOI : 10.1090/S0002-9947-05-03700-1

E. Samuelboissì-ere, F. Mann, and . Perroni, The cohomological crepant resolution conjecture for P(1, 3, 4, 4), Internat, J. Math, vol.20, issue.6, pp.791-801, 2009.

R. Martin, A. Bridson, and . Haefliger, Metric spaces of non-positive curvature, Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of, Mathematical Sciences], vol.319, p.174448653038, 1999.

K. S. Brown, Cohomology of groups, Zbl 0584, 1982.

W. Chen and Y. Ruan, A New Cohomology Theory of Orbifold, Communications in Mathematical Physics, vol.156, issue.1, pp.1-31, 2004.
DOI : 10.1007/s00220-004-1089-4

P. Cherix, M. Cowling, and P. Jolissaint, Pierre Julg, and Alain Valette, Groups with the Haagerup property Gromov's a-T-menability, Progress in Mathematics, vol.197, 2001.

P. Cherix, F. Martin, and A. Valette, Spaces with measured walls, the Haagerup property and property (T), Ergodic Theory Dynam, Systems, vol.24, issue.6, pp.1895-1908, 2004.

E. John and . Cremona, Hyperbolic tessellations, modular symbols, and elliptic curves over complex quadratic fields, Compositio Math, vol.5185, issue.3, pp.275-324, 1984.

J. Elstrodt, F. Grunewald, and J. Mennicke, PSL(2) over imaginary quadratic integers Arithmetic Conference, Astérisque, pp.43-60, 1981.
DOI : 10.1007/978-3-662-03626-6_7

B. Fantechi and L. Göttsche, Orbifold cohomology for global quotients, Duke Math, Zbl 1086, pp.197-227, 2003.

B. Fine, Algebraic theory of the Bianchi groups, Monographs and Textbooks in Pure and Applied Mathematics Zbl 0760, 1989.

D. Flöge and Z. Struktur-der-psl2überpsl2¨psl2über-einigen-imaginär-quadratischen-zahlringen, MR 704107 (85c:11043), Zbl 0498 Zbl 0482, Dissertation: Zur Struktur der PSL2überPSL2¨PSL2über einigen imaginär-quadratischen Zahlringen, pp.255-279, 1983.

E. Paul and . Gunnells, Modular symbols for Q-rank one groups and Vorono? ? reduction, Zbl 0977, pp.198-219, 1999.

N. Higson and G. Kasparov, E-theory and KK-theory for groups which act properly and isometrically on Hilbert space, Inventiones mathematicae, vol.144, issue.1, pp.23-74, 2001.
DOI : 10.1007/s002220000118

G. Humbert, Sur la réduction des formes d'Hermite dans un corps quadratique imaginaire, C. R. Acad. Sci. Paris, vol.16, pp.189-196, 1915.

C. Maclachlan and A. W. Reid, The arithmetic of hyperbolic 3-manifolds, Graduate Texts in Mathematics, vol.219, p.57021, 2003.
DOI : 10.1007/978-1-4757-6720-9

E. R. Mendoza, Cohomology of PGL2 over imaginary quadratic integers, p.61151522012, 1979.

G. Mislin and A. Valette, Proper group actions and the Baum-Connes conjecture, Zbl 1028, p.46001, 2003.
DOI : 10.1007/978-3-0348-8089-3

A. D. Rahm and M. Fuchs, The integral homology of PSL2 of imaginary quadratic integers with non-trivial class group, to appear in the Journal of Pure and Applied Algebra. arXiv: 0903.4517 [math, 2009.

A. D. Rahm, . Bianchi, and . Gp, Open source program to be released on http, 2010.

J. G. Ratcliffe, Foundations of hyperbolic manifolds, Graduate Texts in Mathematics, vol.149, pp.57029-1106, 2006.
DOI : 10.1007/978-1-4757-4013-4

R. Riley, Applications of a computer implementation of Poincaré's theorem on fundamental polyhedra POINCARE, A library of FORTRAN routines, Math. Comp, vol.4085, issue.162, pp.607-632, 1983.

J. Rubén, B. Sánchez-garcía, . Homology, K. Equivariant, and S. Of, Equivariant K-homology for some Coxeter groups, Zbl 1145.19005 [36], pp.1046-1059, 2007.

J. Schwermer and K. Vogtmann, The integral homology of SL2 and PSL2 of Euclidean imaginary quadratic integers, Zbl 0545, pp.573-598, 1983.

R. G. Swan, Generators and relations for certain special linear groups, Zbl 0221, pp.1-77, 1971.
DOI : 10.1016/0001-8708(71)90027-2

A. Valette, Introduction to the Baum-Connes conjecture From notes taken by Indira Chatterji; With an appendix by Guido Mislin, Lectures in Mathematics ETH Zürich, p.58047, 2002.

K. Vogtmann, Rational homology of Bianchi groups, Mathematische Annalen, vol.19, issue.3, pp.399-41922025, 1985.
DOI : 10.1007/BF01455567

C. and T. C. Wall, Resolutions for extensions of groups, Mathematical Proceedings of the Cambridge Philosophical Society, vol.57, issue.02, pp.251-255, 1961.
DOI : 10.1017/S0305004100035155

J. Weeks, SnapPea, program for the study of hyperbolic 3-manifolds

D. Yasaki, Hyperbolic tessellations associated to Bianchi groups, Algorithmic Number Theory, 9th International Symposium, 2010.

E. Zaslow, Topological orbifold models and quantum cohomology rings, Communications in Mathematical Physics, vol.43, issue.4, pp.301-331, 1993.
DOI : 10.1007/BF02098485
URL : http://arxiv.org/abs/hep-th/9211119