(TeX-add-style-hook "biblio" (lambda () (LaTeX-add-bibitems "gsl" "darmon_rotger_sols:iterated" "billerey:isog" "fisher:families_cong" "psage" "pollack-stevens:overconv" "coates:enigmatic" "skinner-urban" "sutherland:16" "bradshaw-stein:heegner" "elkies:2010-3" "ribet:2010-eis" "bhargava-shankar:avgrank" "voight:matrix" "taoblog:zhang" "yuan-zhang-zhang:triple" "yuan-zhang-zhang_gz" "watkins:heegner" "miller:bsd1" "isogeny-descent" "elkies:3" "stein-weinstein:dist" "pernet-stein:hnf" "mazur-stein:rh" "hayashi:gz" "bradshaw:phd" "hopkins:phd" "sage:workshops" "stein:blog" "dokchitser:parity" "greenberg-voight:shimura" "delaunay:thesis" "gross:msri2001" "birch:msri2001" "sutherland:cmi_talk_on_image" "vatsal:uniform" "mpfr" "mpir" "pynac" "beezer:siam" "gfan" "ginac" "flint" "cython" "stein:modabvarnotes" "trilliontri" "joyner-stein:notices" "cornut:mazur" "jetchev-kane:equi" "stein:kolyconj2" "stein:ggz" "khare-wintenberger:serre1" "calegari-stein:eisenstein" "harvey:padicheights" "stein:bsd" "msri06modform" "mazur:nature" "gordon:db" "openmath" "gathengerhard" "axiom" "scipy06" "stein:studentprojects" "lie" "gap" "singular" "pari" "maxima" "M2" "macaulay2" "stein-wuthrich" "sage" "simuw" "vdk" "harder-arbeit" "stein:book" "edixhoven:kedlaya" "kedlaya:mw2" "hoeij:nf" "calegari-emerton:odd" "cprw" "katz-sarnak" "bluher:formal" "rank4" "cremona-watkins:lattice-distro" "watkins:cubic" "connell:echb" "bhargava:density" "bsdalg1" "matplotlib" "stoll:3descent" "prickett:phd" "pacetti-villegas-p2" "grigor:phd" "jorza:seniorthesis" "ribet:congrel" "cojocaru-kani:surj" "zagier:primes50" "rsa" "mazur-rubin:large_selmer" "jetchev-stein:higher" "darmon-pollack" "kraus" "math252" "dembele" "lemelin:dominic" "martin:thesis" "basmaji:thesis" "csirik-wetherell-zieve:g0" "pr:exp" "mtt" "serre:asymptotique" "iwaniec:topics" "gordon:dlp" "mr98i:94002" "nechaev:lower" "shoup:lower" "gordon:dlog" "python" "cha:vanishing" "cha:shabound" "cassels:7" "kedlaya:counting-errata" "abbott:padic" "tate:arithmetic" "mazur-tate:sigma" "artin-tate:cft" "mahler:inequalities" "iwasawa:adele" "lang:algebraic_numbers" "cassels:lectures" "lenstra:pell" "artin:algebra" "artin:ant" "am" "agashe" "agashe-ribet-stein:modular" "agashe-stein:visibility" "agashe:invisible" "agashe:phd" "antwerpiv" "artin:conjecture" "artin:conjecture2" "ash-stevens" "atkin-lehner" "bgr" "birch:atkin" "birch:bsd" "birch:cyclo" "birch:edsac" "birch:hecke_actions" "bloch-kato" "bockle:density" "bolling:sha" "boston" "boston-lenstra-ribet" "breuil-conrad-diamond-taylor" "brue" "brumer-mcguinness" "brumer:rank" "buhler-gross" "buhler:thesis" "bump-friedberg-hoffstein" "buzzard-stein:artin" "buzzard-taylor" "buzzard:level" "buzzard:t2" "carayol:modell" "carearly" "casselman" "cassels-flynn" "cassels-frohlich" "cassels:arithmeticiii" "cassels:arithmeticiv" "cassels:arithmeticv" "cassels:bigsha" "cassels:diophantinecurve" "cassels:global" "cerednik" "cheryl" "chevalley:thm" "cime-1997" "cmi:problems" "coates-wiles:bsd" "cohen-oesterle:dimensions" "cohen:course_ant" "coleman-edixhoven" "coleman-voloch" "coleman:banach" "coleman:classical" "coleman:classical_higher" "coleman:monodromy" "coleman:serre" "colmez_fontaine" "conrad-diamond-taylor:modularity" "conrad-edixhoven-stein:j1p" "conrad-stein:compgroup" "conrad:eulerprod" "conrad:shimura" "conrey-farmer:nonvanish" "cremona-luiz" "cremona-mazur" "cremona:algs" "cremona:gammaone" "cremona:onlinetables" "cremona:periods" "curtis-reiner" "darmon-bsd" "darmon-merel" "darmon:serre" "ddt" "deligne" "deligne-rapoport" "deligne-serre" "diamond-im" "diamond-kramer" "diamond:refined" "dickinson:thesis" "dixcohomologie" "doud" "drinfeld:coverings" "dummigan-stein-watkins:motives" "dummigan:cp" "edixcole" "edixhoven:comparison" "edixhoven:eisen" "edixhoven:erratum" "edixhoven:manin" "edixhoven:minimal" "edixhoven:serre" "edixhoven:serrerole" "edixhoven:tame" "edixhoven:weight" "ega4_1" "ega4_2" "ega4_3" "ega4_4" "eichler:ideal" "eichler:quadratic" "eigencurve" "eisenbud" "eisenbud-harris" "eisenbud-harris-2" "eisenbud_harris:geometry" "elkies:ffield" "elkies:heegner" "ellenberg-skinner:modularity" "ellenberg:qcurves_survey" "emerton:optimal" "empirical" "faltings-finiteness" "faltings-jordan" "faltings:finiteness" "farmer-james:maeda" "fearnley:phd" "flach:pairing" "fontaine:groupes" "frey-muller" "frey:boston" "freyetal" "freyone" "freytwo" "frohlich:local" "fujiwara" "galbraith" "generatinghecke" "goldfeld:complexity" "goldfeld:l1" "gonzalez-lario:manin" "mcgraw-ono:vis" "gouvea-mazur:density" "gouvea-mazur:families" "gouvea:ordinary" "gouvea:slnm" "greenberg-harper" "gross-kohnen-zagier" "gross-zagier" "gross:central" "gross:kolyvagin" "gross:tameness" "gross_kudla" "grothendieck:brauer1" "grothendieck:brauer2" "grothendieck:brauer3" "grothendieck:monodromie" "gruenberg" "guerzhoy:kummer" "guy:unsolved" "haberland" "halmos:naive" "hardy_littlewood:conjf" "hartshorne" "hatada:eigenvalues79" "hatada:general" "hatada:rationality" "hellegouarch:invitation" "hida:invent86" "hida:iwasawa" "hida:modularity" "hijikata:trace" "hindry-silverman:diophantine" "hpf" "igusa:fibre" "jacquet-langlands" "jarvis:hilbert" "jarvis:level" "jarvis:mazur" "jochnowitz:conjecture" "jochnowitz:duke" "jochnowitz:local" "jones:thesis" "jordan-livne:epsilon" "jordan-livne:sha" "joshi" "jps" "katz:annals75" "katz:antwerp350" "katz:torsion" "katzbonn" "katzmazur" "khare:manu" "klenke:phd" "knapp:elliptic" "koblitz:cong" "kohel-stein:ants4" "kohel:computing" "koike:conjtwist" "kolyvagin-logachev:finiteness" "kolyvagin-logachev:totallyreal" "kolyvagin:euler_systems" "kolyvagin:mordellweil" "kolyvagin:structure_of_selmer" "kolyvagin:structureofsha" "kolyvagin:subclass" "kolyvagin:weil" "kramer:largesha" "kubert-lang" "lang-tate" "lang:algebra" "lang:ant" "lang:finitefields" "lang:modular" "lang:nt3" "langlands:antwerp2" "langlands:basechange" "lenstra-oort:additive" "lenstra-smit:explicit" "lenstras:nfs" "lichtenbaum:curves" "lichtenbaum:duality" "lidia" "livne:conductors" "lms254" "lorenzini:abvarred" "lorenzini:compgrp" "magma" "manin:cyclo" "manin:parabolic" "matsumura" "mazur-sd" "mazur-swinnerton-dyer:arithmetic" "mazur:arithmetic_values" "mazur:arizona" "mazur:deforming" "mazur:eisenstein" "mazur:infinite_fern" "mazur:rational" "mazur:symboles" "mazur:tower" "mazur:towers" "mazur:visord3" "mazur:visthree" "mazurtate:13" "mccallum:duality" "mccallum:kolyvagin" "merel-stein" "merel:1585" "merel:cyclo" "merel:intersections" "merel:weil" "mestre-oesterle" "mestre-oesterle:crelle" "mestre:graphs" "mfd" "mfd2" "milne:abvars" "milne:bsdres" "milne:duality" "milne:etale" "miyake" "momose-ozawa" "motives" "mr" "mr2000a:11005" "mr2000c:11002" "mr2000g:11002" "mr2000m:11002" "mr2002d:11003" "mr35:6500" "mr37:3885" "mr48:2080" "mr48:5967" "mr48:8389" "mr49:6" "mr50:16" "mr50:4458" "mr52:8007" "mr56:11675" "mr82d:10006" "mr82j:10004" "mr86e:00018" "mr86g:00010" "mr87m:11004" "mr88c:14001" "mr89b:14029" "mr90b:11003" "mr90h:14001" "mr90j:11004" "mr91h:00035" "mr91k:11003" "mr92b:00051" "mr92i:11131" "mr93d:14004" "mr93k:00030" "mr94m:11006" "mr95i:11001" "mr95j:11119" "mr96f:11004" "mr98g:11001" "mr99f:00041" "mr99m:11004" "mumford:abvars" "mumford:geometric" "murty-murty" "murty:congruence" "mwrank" "neron" "neronmodels" "neumann1" "neumann2" "ntl" "ogg:hyperelliptic" "ogg:rational13" "ogg:rationalpoints" "ogg:ratpoints_finiteorder" "ogg:ratpoints_oncertain" "ono-mcgraw" "ono:partition" "pentium" "pizer:alg" "pizer:arithmetic" "pizer:arithmetictwo" "pizer:rep" "poonen-schaefer" "poonen-stoll" "pyle:thesis" "queen" "rama" "ramakrishna:deform" "ramakrishna:lift2" "ramakrishna:lifting" "raynaud" "raynaud:ihes" "raynaud:pp" "ribet-stein:serre" "ribet:abvars" "ribet:endalg" "ribet:endo" "ribet:galoisattached" "ribet:galoissurvey" "ribet:lowering" "ribet:mestreletter" "ribet:modreps" "ribet:raising" "ribet:report" "ribet:torsion" "ribet:torsionj0" "ribet:toulouse" "ribet:twistsendoalg" "robert:elliptic" "rohrlich:cyclo" "rosen:abvars" "rubin:book" "rubin:cmsha" "rubin:kato" "rubin:kolyvagin" "rubin:main-conjectures" "saito" "sbtaylor" "schilling" "schneider:iwasawa" "scholl:kato" "scholl:motivesinvent" "schur:arith" "sd:bsd" "serre-tate" "serre:alggroups" "serre:antwerp72" "serre:arcata" "serre:arithmetic" "serre:cnrs" "serre:conjectures" "serre:discrete" "serre:enseign" "serre:gc" "serre:ladic" "serre:lie_theory" "serre:linear" "serre:local" "serre:localfields" "serre:oeuvres" "serre:propgal" "serre:propres" "serre:pseudoreflections" "serre:travauxwiles" "serretau" "setzer" "sga3.1" "sga3.2" "sga3.3" "sga7.2" "shafarevich:exp" "shimizu:zeta" "shimura:factors" "shimura:intro" "shimura:onperiods" "shimura:reciprocity" "shimura:surles" "silverman-tate" "silverman:aec" "silverman:aec2" "siman_wong:lots_of_sha" "skinner-wiles:ordinary" "slnm601" "sokurov:modsym" "stein-verrill:periods" "stein-verrill:transportable" "stein:bsdmagma" "stein:congruence" "stein:database" "stein:hecke" "stein:index" "stein:modsyms" "stein:nonsquaresha" "stein:phd" "stein:vismw" "stein:vismordell" "stevens:param" "stevens:thesis" "sturm:cong" "swinnerton-dyer:abvars" "tate:antwerpiv" "tate:bsd" "tate:duality" "tate:global" "tate:nonexistence" "taylor-wiles:fermat" "tunnell:artin" "velu:groupes" "wada1" "waldspurger:comp1" "waldspurger:comp2" "waldspurger:corr" "watanabe:reflections" "watkins:rankheuristics" "watkins:moddeg" "wiles:cmi" "wiles:fermat" "winnie:newforms" "womack:ranktable" "zagier:modular" "zagier:parametrizations" "sd:brief" "weil:adeles")))