BibliographyΒΆ

[Ash80]Ash, Avner. 1980. Cohomology of congruence subgroups $SL(n,,Z)$. Math. Ann. 249, 55–73.
[McC91]McConnell, M. 1991. Classical projective geometry and arithmetic groups. Math. Ann. 290, 441–462.
[Sch95]Schoof, R. 1995. Counting points on elliptic curves over finite fields. J. Theor. Nombres Bordeaux 7, 219–254.
[Aga00]Agashe, A. 2000. The Birch and Swinnerton-Dyer formula for modular abelian varieties of analytic rank~$0$. Ph.D. thesis, University of California, Berkeley , .
[AGG84]Ash, Avner, Daniel Grayson, and Philip Green. 1984. Computations of cuspidal cohomology of congruence subgroups of $rm SL(3,bf Z)$. J. Number Theory 19, 412–436.
[Ahl78]Ahlfors, Lars V. (1978) Complex analysis. New York: McGraw-Hill Book Co..
[AO01]Ahlgren, Scott, and Ken Ono. 2001. Addition and counting: the arithmetic of partitions. Notices Amer. Math. Soc. 48, 978–984.
[Kan00]Kaneko, Masanobu. 2000. The Akiyama-Tanigawa algorithm for Bernoulli numbers. J. Integer Seq. 3, Article 00.2.9, 6 pp. (electronic).
[Art79]Arthur, James. (1979) “Eisenstein series and the trace formula”. In (Eds.) Automorphic forms, representations and $L$-functions (Proc. Sympos. Pure Math., Oregon State Univ., Corvallis, Ore., 1977), Part 1, Providence, R.I.: Amer. Math. Soc..
[AB90]Ash, A, and A Borel. (1990) “Generalized modular symbols”. In (Eds.) Cohomology of arithmetic groups and automorphic forms (Luminy-Marseille, 1989), Berlin: Springer.
[AGR93]Ash, Avner, David Ginzburg, and Steven Rallis. 1993. Vanishing periods of cusp forms over modular symbols. Math. Ann. 296, 709–723.
[AG00]Ash, Avner, and Robert Gross. 2000. Generalized non-abelian reciprocity laws: a context for Wiles’ proof. Bull. London Math. Soc. 32, 385–397.
[Ash86]Ash, Avner. 1986. A note on minimal modular symbols. Proc. Amer. Math. Soc. 96, 394–396.
[AR79]Ash, Avner, and Lee Rudolph. 1979. The modular symbol and continued fractions in higher dimensions. Invent. Math. 55, 241–250.
[Ash94]Ash, Avner. 1994. Unstable cohomology of $rm SL(n,mathcalO)$. J. Algebra 167, 330–342.
[Ash84]Ash, Avner. 1984. Small-dimensional classifying spaces for arithmetic subgroups of general linear groups. Duke Math. J. 51, 459–468.
[Ash77]Ash, Avner. 1977. Deformation retracts with lowest possible dimension of arithmetic quotients of self-adjoint homogeneous cones. Math. Ann. 225, 69–76.
[AL70]Atkin, A. 1970. Hecke operators on protect$Gamma sb0(m)$. Math. Ann. 185, 134–160.
[AD04]Atti, Nadia Ben, and Gema M Diaz-Toca. 2004. . tt http://hlombardi.free.fr/ publis/ABMAvar.html , .
[BI97]Baeza, R, and M I Icaza. 1997. On Humbert-Minkowski’s constant for a number field. Proc. Amer. Math. Soc. 125, 3195–3202.
[Bar57]Barnes, E S. 1957. The perfect and extreme senary forms. Canad. J. Math. 9, 235–242.
[Bar94]Barvinok, A. 1994. A polynomial time algorithm for counting integral points in polyhedra when the dimension is fixed. Math. Oper. Res. 19, 769–779.
[Bas96]Basmaji, Jacques. (1996) Ein Algorithmus zur Berechnung von Hecke-Operatoren und Anwendungen auf modulare Kurven, tt http://modular.math.washington.edu/scans/papers/basmaji/. : .
[Kel06]Kellner, Bernd C. 2006. Bernoulli Numbers. tt http://www.bernoulli.org , .
[Bir71]Birch, B. (1971) “Elliptic curves over protect$mathbfQ$: A progress report”. In (Eds.) 1969 Number Theory Institute (Proc. Sympos. Pure Math., Vol. XX, State Univ. New York, Stony Brook, N.Y., 1969), Providence, R.I.: Amer. Math. Soc..
[BK90]Bloch, S, and K Kato. (1990) “protect$L$-functions and protectTamagawa numbers of motives”. In (Eds.) The Grothendieck Festschrift, Vol. protectI, Boston, MA: Birkh”auser Boston.
[BS73]Borel, A, and J Serre. 1973. Corners and arithmetic groups. Comment. Math. Helv. 48, 436–491.
[BW00]Borel, A, and N Wallach. (2000) Continuous cohomology, discrete subgroups, and representations of reductive groups. Providence, RI: American Mathematical Society.
[BT82]Bott, Raoul, and Loring W Tu. (1982) Differential forms in algebraic topology. New York: Springer-Verlag.
[BCDT01]Breuil, C, et al. 2001. On the modularity of elliptic curves over $bold Q$: wild 3-adic exercises. J. Amer. Math. Soc. 14, 843–939 (electronic).
[Bro94]Brown, Kenneth S. (1994) Cohomology of groups. New York: Springer-Verlag.
[BCS92]Buhler, J P, R E Crandall, and R W Sompolski. 1992. Irregular primes to one million. Math. Comp. 59, 717–722.
[Bul00]Bullock, S S. 2000. Well-rounded retracts of rank one symmetric spaces.
[BC06]Bullock, S S, and C Connell. 2006. Equivariant retracts of geometrically finite discrete groups acting on negatively pinched Hadamard manifolds.
[Bum97]Bump, Daniel. (1997) Automorphic forms and representations. Cambridge: Cambridge University Press.
[Bum84]Bump, Daniel. (1984) Automorphic forms on $rm GL(3,bf R)$. Berlin: Springer-Verlag.
[BS02]Buzzard, K, and W Stein. 2002. A mod five approach to modularity of icosahedral Galois representations. Pacific J. Math. 203, 265–282.
[Buz96]Buzzard, Kevin. 1996. On the eigenvalues of the Hecke operator $Tsb 2$. J. Number Theory 57, 130–132.
[Byg99]Bygott, J. 1999. Modular Forms and Modular Symbols over imaginary quadratic fields.
[Car59a]Carlitz, L. 1959. Arithmetic properties of generalized Bernoulli numbers. J. Reine Angew. Math. 202, 174–182.
[Car59b]Carlitz, L. 1959. Some arithmetic properties of generalized Bernoulli numbers. Bull. Amer. Math. Soc. 65, 68–69.
[GM03]Gunnells, P E, and M McConnell. 2003. Hecke operators and $Bbb Q$-groups associated to self-adjoint homogeneous cones. J. Number Theory 100, 46–71.
[CDT99]Conrad, Brian, Fred Diamond, and Richard Taylor. 1999. Modularity of certain potentially Barsotti-Tate Galois representations. J. Amer. Math. Soc. 12, 521–567.
[Che05]Chen, Imin. 2005. A Diophantine equation associated to $Xsb 0(5)$. LMS J. Comput. Math. 8, 116–121 (electronic).
[CO77]Cohen, H, and J Oesterle. 1977. Dimensions des espaces de formes modulaires. ** , 69–78. Lecture Notes in Math., Vol. 627.
[Coh93]Cohen, H. (1993) A course in computational algebraic number theory. Berlin: Springer-Verlag.
[AGM02]Ash, Avner, Paul E Gunnells, and Mark McConnell. 2002. Cohomology of congruence subgroups of $rm SLsb 4(Bbb Z)$. J. Number Theory 94, 181–212.
[AGM]Ash, Avner, Paul E Gunnells, and Mark McConnell. . Cohomology of congruence subgroups of $rm SLsb 4(Bbb Z)$ II.
[CF67]Cooke, George E, and Ross L Finney. (1967) Homology of cell complexes. Princeton, N.J.: Princeton University Press.
[Cou01]Coulangeon, Renaud. (2001) “Vorono”i theory over algebraic number fields”. In (Eds.) Reseaux euclidiens, designs spheriques et formes modulaires, Geneva: Enseignement Math..
[Cre84]Cremona, J. 1984. Hyperbolic tessellations, modular symbols, and elliptic curves over complex quadratic fields. Compositio Math. 51, 275–324.
[Cre]Cremona, J. . .
[Cre97c]Cremona, J. 1994. Periods of cusp forms and elliptic curves over imaginary quadratic fields. Math. Comp. 62, 407–429.
[CL04]Cremona, J, and M Lingham. 2004. Finding all elliptic curves with good reduction outside a given set of primes. in progress , .
[Cre97a]Cremona, J. (1997) Algorithms for modular elliptic curves. Cambridge: Cambridge University Press.
[Cre92]Cremona, J. 1992. Modular symbols for protect$Gammasb 1(N)$ and elliptic curves with everywhere good reduction. Math. Proc. Cambridge Philos. Soc. 111, 199–218.
[Cre06]Cremona, J. 2006. . Proceedings of the 7th International Symposium (ANTS-VII) , .
[Cre97b]Cremona, J. 1997. Computing periods of cusp forms and modular elliptic curves. Experiment. Math. 6, 97–107.
[CS88]Conway, J H, and N J A Sloane. 1988. Low-dimensional lattices. III. Perfect forms. Proc. Roy. Soc. London Ser. A 418, 43–80.
[CWZ01]Csirik, Janos A, Joseph L Wetherell, and Michael E Zieve. 2001. On the genera of $X_0(N)$. tt http://www.csirik.net/papers.html , .
[DP04]Darmon, H, and R Pollack. 2004. The efficient calculation of Stark-Heegner points via overconvergent modular symbols. ** , .
[Dar97]Darmon, H. 1997. Faltings plus epsilon, Wiles plus epsilon, and the generalized Fermat equation. C. R. Math. Rep. Acad. Sci. Canada 19, 3–14.
[Dem04]Dembele, L. 2004. Quaternionic Manin symbols, Brandt matrices and Hilbert modular forms.
[Dem05]Dembele, L. 2005. Explicit computations of Hilbert modular forms on $Bbb Q(sqrt5)$. Experiment. Math. 14, 457–466.
[Dia96]Diamond, F. 1996. On deformation rings and Hecke rings. Ann. of Math. (2) 144, 137–166.
[DI95]Diamond, F, and J Im. (1995) “Modular forms and modular curves”. In (Eds.) Seminar on Fermat’s Last Theorem, Providence, RI: .
[DS05]Diamond, Fred, and Jerry Shurman. (2005) A first course in modular forms. New York: Springer-Verlag.
[Dix82]Dixon, John D. 1982. Exact solution of linear equations using $p$-adic expansions. Numer. Math. 40, 137–141.
[Dok04]Dokchitser, Tim. 2004. Computing special values of motivic $L$-functions. Experiment. Math. 13, 137–149.
[DVS05]Dutour, M, F Vallentin, and A Sch”urmann. 2005. Classification of perfect forms in dimension $8$.
[Ebe02]Ebeling, Wolfgang. (2002) Lattices and codes. Braunschweig: Friedr. Vieweg & Sohn.
[ECdJ+06]Edixhoven, Bas, et al. 2006. On the computation of coefficients of modular form. tt http://www.arxiv.org/abs/math.NT/0605244 , .
[EGM98]Elstrodt, J, F Grunewald, and J Mennicke. (1998) Groups acting on hyperbolic space. Berlin: Springer-Verlag.
[Eil47]Eilenberg, Samuel. 1947. Homology of spaces with operators. I. Trans. Amer. Math. Soc. 61, 378–417; errata, 62, 548 (1947).
[Elk98]Elkies, Noam D. (1998) “Elliptic and modular curves over finite fields and related computational issues”. In (Eds.) Computational perspectives on number theory (Chicago, IL, 1995), Providence, RI: Amer. Math. Soc..
[Gun00a]Gunnells, P E. 2000. Computing Hecke eigenvalues below the cohomological dimension. Experiment. Math. 9, 351–367.
[FvdG]Faber, C, and G van der Geer. . Sur la cohomologie des Systemes Locaux sur les Espaces des Modules des Courbes de Genus 2 and des Surfaces Abeliennes.
[FL]D,. . Maass forms and their $L$-functions.
[FJ02]Farmer, D. 2002. The irreducibility of some level 1 Hecke polynomials. Math. Comp. 71, 1263–1270 (electronic).
[vGvdKTV97]van Geemen, Bert, et al. 1997. Hecke eigenforms in the cohomology of congruence subgroups of $rm SL(3,mathbfZ)$. Experiment. Math. 6, 163–174.
[FT93]Fr”ohlich, A, and M J Taylor. (1993) Algebraic Number Theory. Cambridge: Cambridge University Press.
[Fra98]Franke, J. 1998. Harmonic analysis in weighted $Lsb 2$-spaces. Ann. Sci. Ecole Norm. Sup. (4) 31, 181–279.
[FM99]Frey, G, and M M”uller. (1999) “Arithmetic of modular curves and applications”. In (Eds.) Algorithmic algebra and number theory (Heidelberg, 1997), Berlin: Springer.
[FH91]Fulton, William, and Joe Harris. (1991) Representation theory. New York: Springer-Verlag.
[Wie05]Wiese, Gabor. 2005. Modular Forms of Weight One Over Finite Fields. Ph.D. thesis , .
[EVGS02]Elbaz-Vincent, Philippe, Herbert Gangl, and Christophe Soule. 2002. Quelques calculs de la cohomologie de $rm GLsb N(Bbb Z)$ et de la $K$-theorie de $Bbb Z$. C. R. Math. Acad. Sci. Paris 335, 321–324.
[Gel75]Gelbart, Stephen S. (1975) Automorphic forms on ad`ele groups. Princeton, N.J.: Princeton University Press.
[GS02]Giesbrecht, Mark, and Arne Storjohann. 2002. Computing rational forms of integer matrices. J. Symbolic Comput. 34, 157–172.
[Gol05]Goldfeld, Dorian. 2005. Automorphic forms and $L$-functions on the general linear group.
[Gol92]Goldfeld, D. 1992. On the computational complexity of modular symbols. Math. Comp. 58, 807–814.
[Gon97]Goncharov, A B. 1997. The double logarithm and Manin’s complex for modular curves. Math. Res. Lett. 4, 617–636.
[Gon98]Goncharov, A B. 1998. Multiple polylogarithms, cyclotomy and modular complexes. Math. Res. Lett. 5, 497–516.
[GLQ04]Gonzalez, Josep, Joan-Carles Lario, and Jordi Quer. (2004) “Arithmetic of $Bbb Q$-curves”. In (Eds.) Modular curves and abelian varieties, Basel: Birkh”auser.
[Gor93]Gordon, D. 1993. Discrete logarithms in $rm GF(p)$ using the number field sieve. SIAM J. Discrete Math. 6, 124–138.
[Gor04]Gordon, D. 2004. Discrete Logarithm Problem, hfill tt http://www.win.tue.nl/~ henkvt/Content.html. ** , .
[Gre81]Greenberg, M. (1981) Algebraic topology. Reading, Mass.: Benjamin/Cummings Publishing Co. Inc. Advanced Book Program.
[Gre83]Greenberg, Ralph. 1983. On the Birch and Swinnerton-Dyer conjecture. Invent. Math. 72, 241–265.
[Gri05]Grigorov, G. 2005. Kato’s Euler System and the Main Conjecture. Harvard Ph.D. Thesis , .
[Gro98]Gross, Benedict H. (1998) “On the Satake isomorphism”. In (Eds.) Galois representations in arithmetic algebraic geometry (Durham, 1996), Cambridge: Cambridge Univ. Press.
[GP05]Gross, Benedict H, and David Pollack. 2005. On the Euler characteristic of the discrete spectrum. J. Number Theory 110, 136–163.
[GS81]Grunewald, F, and J Schwermer. 1981. A nonvanishing theorem for the cuspidal cohomology of $SL_2$ over imaginary quadratic integers. Math. Ann. 258, 183–200.
[Hara]Harder, G. . Congruences between modular forms of genus 1 and of genus 2.
[Har87]Harder, G. 1987. Eisenstein cohomology of arithmetic groups. The case $rm GLsb 2$. Invent. Math. 89, 37–118.
[Har91]Harder, G. (1991) “Eisenstein cohomology of arithmetic groups and its applications to number theory”. In (Eds.) Proceedings of the International Congress of Mathematicians, Vol. I, II (Kyoto, 1990), Tokyo: Math. Soc. Japan.
[Har05]Harder, G. 2005. Modular symbols and special values of automorphic $L$-functions.
[Harb]Harder, G. . Kohomologie arithmetischer Gruppen.
[HC68]Harish-Chandra,. (1968) Automorphic forms on semisimple Lie groups. Berlin: Springer-Verlag.
[HT01]Harris, Michael, and Richard Taylor. (2001) The geometry and cohomology of some simple Shimura varieties. Princeton, NJ: Princeton University Press.
[Hel01]Helgason, Sigurdur. (2001) Differential geometry, Lie groups, and symmetric spaces. Providence, RI: American Mathematical Society.
[Hij74]Hijikata, H. 1974. Explicit formula of the traces of protectHecke operators for protect$Gamma_0(N)$. J. Math. Soc. Japan 26, 56–82.
[BHKS06]Belebas, K, et al. 2006. Factoring polynomials over global fields. preprint athfillmbox tt http://www.math.fsu.edu/~ hoeij/papers.html , .
[Hsu96]Hsu, Tim. 1996. Identifying congruence subgroups of the modular group. Proc. Amer. Math. Soc. 124, 1351–1359.
[Hum80]Humphreys, James E. (1980) Arithmetic groups. Berlin: Springer.
[Ica97]Icaza, M I. 1997. Hermite constant and extreme forms for algebraic number fields. J. London Math. Soc. (2) 55, 11–22.
[Jaq91]Jaquet, David-Olivier. 1991. Classification des reseaux dans $bf Rsp 7$ (via la notion de formes parfaites). Asterisque , 7–8, 177–185 (1992).
[JC93]Jaquet-Chiffelle, David-Olivier. 1993. Enumeration compl`ete des classes de formes parfaites en dimension $7$. Ann. Inst. Fourier (Grenoble) 43, 21–55.
[Kna92]Knapp, A. (1992) Elliptic curves. Princeton, NJ: Princeton University Press.
[Knu]Knuth, Donald E. () The art of computer programming. Vol. 2. : Addison-Wesley Publishing Co., Reading, Mass..
[Kob84]Koblitz, N. (1984) Introduction to elliptic curves and modular forms. New York: Springer-Verlag.
[Kri90]Krieg, Aloys. 1990. Hecke algebras. Mem. Amer. Math. Soc. 87, x+158.
[LS76]Lee, Ronnie, and R H Szczarba. 1976. On the homology and cohomology of congruence subgroups. Invent. Math. 33, 15–53.
[Laf02]Lafforgue, Laurent. 2002. Chtoucas de Drinfeld et correspondance de Langlands. Invent. Math. 147, 1–241.
[Lan95]Lang, S. (1995) Introduction to modular forms. Berlin: Springer-Verlag.
[Lan76]Langlands, Robert P. (1976) On the functional equations satisfied by Eisenstein series. Berlin: Springer-Verlag.
[Lan66]Langlands, R P. (1966) “Eisenstein series”. In (Eds.) Algebraic Groups and Discontinuous Subgroups (Proc. Sympos. Pure Math., Boulder, Colo., 1965), Providence, R.I.: Amer. Math. Soc..
[LS02]Lario, Joan-C, and Rene Schoof. 2002. Some computations with Hecke rings and deformation rings. Experiment. Math. 11, 303–311.
[Lem01]Lemelin, Dominic. 2001. Mazur-Tate Type Conjectures for Elliptic Curves Defined over Quadratic Imaginary Fields. ** , .
[Leo58]Leopoldt, Heinrich-Wolfgang. 1958. Eine Verallgemeinerung der Bernoullischen Zahlen. Abh. Math. Sem. Univ. Hamburg 22, 131–140.
[LS04]Li, Jian-Shu, and Joachim Schwermer. 2004. On the Eisenstein cohomology of arithmetic groups. Duke Math. J. 123, 141–169.
[Lin05]Lingham, M. 2005. Modular forms and elliptic curves over imaginary quadratic fields.
[LLL82]Lenstra, A K, and Jr Lenstra. 1982. Factoring polynomials with rational coefficients. Math. Ann. 261, 515–534.
[Lub94]Lubotzky, A. (1994) Discrete groups, expanding graphs and invariant measures. Basel: Birkh”auser Verlag.
[BCP97]Bosma, W, J Cannon, and C Playoust. 1997. The Magma algebra system. I. The user language. J. Symbolic Comput. 24, 235–265.
[Man72]Manin, J. 1972. Parabolic points and zeta functions of modular curves. Izv. Akad. Nauk SSSR Ser. Mat. 36, 19–66.
[Mar05]Martin, Greg. 2005. Dimensions of the spaces of cusp forms and newforms on $Gammasb 0(N)$ and $Gammasb 1(N)$. J. Number Theory 112, 298–331.
[Mar01]Martin, Fran. 2001. Periodes de formes modulaires de poids 1. ** , .
[Mar03]Martinet, Jacques. (2003) Perfect lattices in Euclidean spaces. Berlin: Springer-Verlag.
[Maz73]Mazur, B. (1973) “Courbes elliptiques et symboles modulaires”. In (Eds.) Seminaire Bourbaki, 24`eme annee (1971/1972), Exp. No. 414, Berlin: Springer.
[Men79]Mendoza, Eduardo R. (1979) Cohomology of $rm PGLsb2$ over imaginary quadratic integers. Bonn: Universit”at Bonn Mathematisches Institut.
[Mer94]Merel, L. (1994) “Universal protectFourier expansions of modular forms”. In (Eds.) On Artin’s conjecture for odd 2-dimensional representations, : Springer.
[Mer99]Merel, L. 1999. Arithmetic of elliptic curves and Diophantine equations. J. Theor. Nombres Bordeaux 11, 173–200.
[Mes86]Mestre, J. 1986. La methode des graphes. protectExemples et applications. Proceedings of the international conference on class numbers and fundamental units of algebraic number fields (Katata) , 217–242.
[Miy89]Miyake, T. (1989) Modular forms. Berlin: Springer-Verlag.
[MM93]MacPherson, R, and M McConnell. 1993. Explicit reduction theory for Siegel modular threefolds. Invent. Math. 111, 575–625.
[MM89]MacPherson, R, and M McConnell. (1989) “Classical projective geometry and modular varieties”. In (Eds.) Algebraic analysis, geometry, and number theory (Baltimore, MD, 1988), Baltimore, MD: Johns Hopkins Univ. Press.
[Gun99]Gunnells, P E. 1999. Modular symbols for $Q$-rank one groups and Voronoui reduction. J. Number Theory 75, 198–219.
[MTT86]Mazur, B, J Tate, and J Teitelbaum. 1986. On $p$-adic analogues of the conjectures of Birch and Swinnerton-Dyer. Invent. Math. 84, 1–48.
[MW94]Moeglin, Colette, and Jean-Loup Waldspurger. (1994) Decomposition spectrale et series d’Eisenstein. Basel: Birkh”auser Verlag.
[Nec94]Nechaev, V I. 1994. On the complexity of a deterministic algorithm for a discrete logarithm. Mat. Zametki 55, 91–101, 189.
[Ong86]Ong, Heidrun E. 1986. Perfect quadratic forms over real-quadratic number fields. Geom. Dedicata 20, 51–77.
[PR84]Platonov, Vladimir, and Andrei Rapinchuk. (1994) Algebraic groups and number theory. Boston, MA: Academic Press Inc..
[Que06]Quer, J. 2006. Dimensions of spaces of modular forms for $Gamma_H(N)$. ** , .
[JBS03]Jorza, A, J Balakrishna, and W Stein. 2003. The Smallest Conductor for an Elliptic Curve of Rank Four is Composite,tt http://modular.math.washington.edu/rank4/. ** , .
[Rib01]Ribet, K. (2001) “Lectures on Serre’s conjectures”. In (Eds.) Arithmetic algebraic geometry (Park City, UT, 1999), Providence, RI: Amer. Math. Soc..
[Rib92]Ribet, K. (1992) “Abelian varieties over $bf Q$ and modular forms”. In (Eds.) Algebra and topology 1992 (Taeju on), Taeju on: Korea Adv. Inst. Sci. Tech..
[Ros86]Rosen, M. (1986) “Abelian varieties over protect$bf C$”. In (Eds.) Arithmetic geometry (Storrs, Conn., 1984), New York: Springer.
[Ste06]Stein, W. 2006. tt SAGE: Software for Algebra and Geometry Experimentation, tt http://sage.scipy.org/sage. ** , .
[Sap97]Saper, Leslie. 1997. Tilings and finite energy retractions of locally symmetric spaces. Comment. Math. Helv. 72, 167–202.
[Sar03]Sarnak, Peter. 2003. Spectra of hyperbolic surfaces. Bull. Amer. Math. Soc. (N.S.) 40, 441–478 (electronic).
[Sch90]Scholl, A. 1990. Motives for modular forms. Invent. Math. 100, 419–430.
[Sch86]Schwermer, Joachim. 1986. Holomorphy of Eisenstein series at special points and cohomology of arithmetic subgroups of $rm SLsb n(bf Q)$. J. Reine Angew. Math. 364, 193–220.
[Lab90]Labesse, J. 1990. Cohomology of arithmetic groups and automorphic forms.
[Ser73]Serre, J-P. (1973) A protectCourse in protectArithmetic. New York: Springer-Verlag.
[Ser87]Serre, J-P. 1987. Sur les representations modulaires de degre protect$2$ de protect$rmGal(overlinebf Q/bf Q)$. Duke Math. J. 54, 179–230.
[Shi94]Shimura, G. (1994) Introduction to the arithmetic theory of automorphic functions. Princeton, NJ: Princeton University Press.
[Shim59]Shimura, G. 1959. Sur les protectintegrales protectattachees aux formes automorphes. J. Math. Soc. Japan 11, 291–311.
[Sho80b]Shokurov, V. 1980. A study of the homology of Kuga varieties. Izv. Akad. Nauk SSSR Ser. Mat. 44, 443–464, 480.
[Sho97]Shoup, Victor. (1997) “Lower bounds for discrete logarithms and related problems”. In (Eds.) Advances in cryptology—EUROCRYPT ‘97 (Konstanz), Berlin: Springer.
[BMS06]Bugeaud, Yann, Maurice Mignotte, and Samir Siksek. 2006. Classical and modular approaches to exponential Diophantine equations. II. The Lebesgue-Nagell equation. Compos. Math. 142, 31–62.
[SC03]Siksek, Samir, and John E Cremona. 2003. On the Diophantine equation $xsp 2+7=ysp m$. Acta Arith. 109, 143–149.
[Sil82]Silverman, J. (1992) The arithmetic of elliptic curves. New York: Springer-Verlag.
[Sho80a]Shokurov, V. 1980. Shimura integrals of cusp forms. Izv. Akad. Nauk SSSR Ser. Mat. 44, 670–718, 720.
[Sou75]Soule, Christophe. 1975. Cohomologie de $SLsb3(Z)$. C. R. Acad. Sci. Paris Ser. A-B 280, Ai, A251–A254.
[Sta79]Staffeldt, R E. 1979. Reduction theory and $Ksb3$ of the Gaussian integers. Duke Math. J. 46, 773–798.
[Ste97]Steel, Allan. 1997. A new algorithm for the computation of canonical forms of matrices over fields. J. Symbolic Comput. 24, 409–432.
[Ste]Steel, Allan. . Advanced Matrix Algorithms. ** , .
[Ste99a]Steenrod, Norman. (1999) The topology of fibre bundles. Princeton, NJ: Princeton University Press.
[SV01]Stein, W. 2001. Cuspidal modular symbols are transportable. LMS J. Comput. Math. 4, 170–181 (electronic).
[SW02]Stein, William A, and Mark Watkins. (2002) “A database of elliptic curves—first report”. In (Eds.) Algorithmic number theory (Sydney, 2002), Berlin: Springer.
[Ste99b]Stein, W. 1999. protecttt HECKE: The Modular Symbols Calculator. software (available online) , .
[Ste00]Stein, W. 2000. Explicit approaches to modular abelian varieties. Ph.D. thesis, University of California, Berkeley , .
[Str69]Strassen, Volker. 1969. Gaussian elimination is not optimal. Numerische Mathematik 13, 354–356.
[Stu87]Sturm, J. (1987) “On the congruence of modular forms”. In (Eds.) Number theory (New York, 1984–1985), Berlin: Springer.
[Gun00b]Gunnells, P E. 2000. Symplectic modular symbols. Duke Math. J. 102, 329–350.
[Tat75]Tate, J. (1975) “Algorithm for determining the type of a singular fiber in an elliptic pencil”. In (Eds.) Modular functions of one variable, IV (Proc. Internat. Summer School, Univ. Antwerp, Antwerp, 1972), Berlin: Springer.
[TW95]Taylor, R, and A Wiles. 1995. Ring-theoretic properties of certain protectHecke algebras. Ann. of Math. (2) 141, 553–572.
[Tho89]Thompson, J G. (1989) “Hecke operators and noncongruence subgroups”. In (Eds.) Group theory (Singapore, 1987), Berlin: de Gruyter.
[Tot05]Toth, A. 2005. On the Steinberg module of Chevalley groups. Manuscripta Math. 116, 277–295.
[vdG]van der Geer, Gerard. . Siegel Modular Forms.
[SV03]Speh, B, and T N Venkataramana. 2003. Construction of Some Generalised Modular Symbols.
[Vig77]Vigneras, Marie-France. (1977) “Series th^eta des formes quadratiques indefinies”. In (Eds.) Seminaire Delange-Pisot-Poitou, 17e annee (1975/76), Theorie des nombres: Fasc. 1, Exp. No. 20, Paris: Secretariat Math..
[VZ84]Vogan, Jr. 1984. Unitary representations with nonzero cohomology. Compositio Math. 53, 51–90.
[Vog97]Vogan, Jr. (1997) “Cohomology and group representations”. In (Eds.) Representation theory and automorphic forms (Edinburgh, 1996), Providence, RI: Amer. Math. Soc..
[Vog85]Vogtmann, K. 1985. Rational homology of Bianchi groups. * Math. Ann.* 272, 399–419.
[Vor08]Vorono, G. 1908. Nouvelles applications des parametres continus `a la theorie des formes quadratiques, I. Sur quelques proprietes des formes quadratiques positives parfaites . J. Reine Angew. Math. 133, 97-178.
[Wan95]Wang, Xiang Dong. 1995. $2$-dimensional simple factors of $Jsb 0(N)$. Manuscripta Math. 87, 179–197.
[Wan82]Wang, Kai. 1982. A proof of an identity of the Dirichlet $L$-function. Bull. Inst. Math. Acad. Sinica 10, 317–321.
[Wes]Weselman, U. . .
[Whi90]Whitley, E. 1990. Modular symbols and elliptic curves over imaginary quadratic number fields.
[SW05]Socrates, Jude, and David Whitehouse. 2005. Unramified Hilbert modular forms, with examples relating to elliptic curves. Pacific J. Math. 219, 333–364.
[Wil00]Wiles, A. 2000. The Birch and Swinnerton-Dyer Conjecture. ** , .
[Wil95]Wiles, A. 1995. Modular elliptic curves and Fermat’s last theorem. Ann. of Math. (2) 141, 443–551.
[Li75]Li, W-C. 1975. Newforms and functional equations. Math. Ann. 212, 285–315.
[Yas05b]Yasaki, D. 2005. On the existence of spines for $mathbfQ$-rank 1 groups.
[Yas05a]Yasaki, D. 2005. On the cohomology of $mathrmSU(2,1)$ over the Gaussian integers.