\relax 
\citation{darmon_cbms}
\@writefile{toc}{\contentsline {section}{\numberline {1}Introduction}{1}}
\citation{mazur_ihes}
\citation{merel}
\newlabel{question:shaf_tate}{{1.1}{2}}
\citation{bcdt}
\@writefile{toc}{\contentsline {section}{\numberline {2}Elliptic curves over ${\@mathbb Q}$}{3}}
\newlabel{sec:ellq}{{2}{3}}
\newlabel{sec:modparq}{{2.1}{3}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.1}Modular parametrisations}{3}}
\newlabel{eqn:fexpE}{{1}{3}}
\newlabel{eqn:transformationQ}{{2}{4}}
\newlabel{eqn:xonoverq}{{3}{4}}
\newlabel{eqn:modpar}{{4}{4}}
\newlabel{eqn:modparC}{{5}{4}}
\newlabel{eqn:analyticphi}{{6}{5}}
\newlabel{sec:hpclassical}{{2.2}{5}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.2}Heegner points}{5}}
\newlabel{thm:cmq}{{2.1}{5}}
\newlabel{eqn:ideles}{{7}{5}}
\citation{gkz}
\newlabel{eqn:heeghyp}{{8}{6}}
\newlabel{eqn:rec}{{9}{6}}
\newlabel{thm:cmq2}{{2.2}{6}}
\citation{birch_rankin}
\citation{birch_msri}
\newlabel{sec:construction}{{2.3}{7}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.3}The efficient calculation of global points}{7}}
\citation{lenstra_pell}
\newlabel{eqn:restricth}{{10}{8}}
\newlabel{def:poly_time}{{2.4}{8}}
\citation{elkies_heegner}
\citation{serre_cm}
\newlabel{sec:cft}{{2.4}{9}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.4}Explicit Class Field Theory}{9}}
\citation{cremona_tables}
\citation{ricotta_vidick}
\citation{gross_zagier}
\citation{goldfeld}
\newlabel{eqn:modularpoly}{{11}{10}}
\newlabel{sec:gz}{{2.5}{10}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.5}Relation with $L$-series}{10}}
\newlabel{thm:gross_zagier}{{2.5}{10}}
\newlabel{sec:bsd}{{2.6}{11}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.6}The Birch and Swinnerton-Dyer conjecture}{11}}
\newlabel{conj:bsd}{{2.6}{11}}
\newlabel{rmk:signs}{{2.7}{11}}
\citation{kolyvagin}
\citation{gross_koly}
\citation{darmon_cbms}
\citation{bd_crelle}
\newlabel{eqn:ineqH}{{12}{12}}
\newlabel{eqn:ineqrank}{{13}{12}}
\newlabel{cor:gz}{{2.8}{12}}
\newlabel{thm:kolyvagin}{{2.9}{12}}
\citation{murty_murty}
\citation{gelbart}
\citation{bumpetal}
\newlabel{cor:koly}{{2.10}{13}}
\newlabel{thm:gzk}{{2.11}{13}}
\@writefile{toc}{\contentsline {section}{\numberline {3}Elliptic curves over totally real fields}{13}}
\newlabel{sec:etr}{{3}{13}}
\citation{skinner_wiles}
\citation{fujiwara}
\citation{bcdt}
\citation{skinner_wiles}
\citation{kisin}
\newlabel{eqn:transformationF}{{14}{14}}
\newlabel{conj:stw_tr}{{3.1}{14}}
\citation{zhang}
\citation{gross_msri}
\citation{darmon_cbms}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1}Shimura curve parametrisations}{15}}
\citation{boutot_carayol}
\citation{zhang}
\newlabel{thm:existence}{{3.2}{16}}
\newlabel{eqn:scpar}{{15}{16}}
\newlabel{thm:arith_unif}{{3.3}{16}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.2}Heegner points}{16}}
\newlabel{eqn:shimurapar}{{16}{16}}
\citation{elkies_shimura}
\citation{makdisi}
\citation{greenberg}
\newlabel{sec:greenberg}{{3.3}{17}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3}The efficient calculation of global points}{17}}
\citation{darmon_cbms}
\citation{pollack_stevens}
\citation{greenberg}
\newlabel{sec:zhang}{{3.4}{18}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.4}Relation with $L$-series}{18}}
\citation{zhang}
\citation{zhang_asian}
\citation{zhang_msri}
\citation{gross_zagier}
\citation{kolyvagin_logachev}
\newlabel{thm:zhang}{{3.4}{19}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.5}The Birch and Swinnerton-Dyer conjecture}{19}}
\newlabel{thm:gzkzhang}{{3.5}{19}}
\newlabel{eqn:tate}{{17}{19}}
\citation{longo1}
\citation{longo2}
\citation{yetian_zhang}
\citation{bertolini_darmon_mc}
\newlabel{eqn:pinch}{{18}{20}}
\newlabel{thm:longo}{{3.7}{20}}
\citation{darmon_logan}
\newlabel{question:bsd1}{{3.8}{21}}
\@writefile{toc}{\contentsline {section}{\numberline {4}Stark-Heegner points}{21}}
\newlabel{sec:logan}{{4.1}{21}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.1}ATR extensions of totally real fields}{21}}
\citation{darmon_cbms}
\citation{darmon_logan}
\citation{darmon_logan}
\citation{darmon_logan}
\citation{darmon_hpxh}
\citation{darmon_hpxh}
\citation{darmon_hpxh}
\newlabel{eqn:natsub}{{19}{22}}
\newlabel{sec:hpxh}{{4.2}{22}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2}Ring class fields of real quadratic fields}{22}}
\newlabel{eqn:ineqH2}{{20}{22}}
\citation{darmon_hpxh}
\newlabel{eqn:deftauf}{{23}{23}}
\citation{bd_crelle}
\citation{darmon_cbms}
\citation{bertolini_darmon_dasgupta}
\citation{darmon_green}
\citation{darmon_green}
\citation{darmon_pollack}
\newlabel{conj:darmon_hpxh}{{4.1}{24}}
\citation{darmon_pollack}
\citation{darmon_hpxh}
\citation{software}
\citation{darmon_pollack}
\citation{cremona}
\citation{bianchi_book}
\citation{taylor}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3}Beyond totally real fields?}{25}}
\citation{cremona}
\citation{cremona_whitley}
\citation{trifkovic}
\citation{trifkovic}
\citation{trifkovic}
\citation{darmon_dasgupta}
\citation{darmon_dasgupta}
\citation{darmon_dasgupta}
\citation{darmon_dasgupta}
\citation{darmon_dasgupta}
\citation{gross_stark1}
\citation{gross_stark2}
\citation{darmon_dasgupta}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.4}Theoretical evidence}{27}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {4.4.1}Stark-Heegner points and Stark units}{27}}
\newlabel{thm:dd}{{4.2}{27}}
\newlabel{eqn:dd1}{{24}{27}}
\newlabel{eqn:dd2}{{25}{27}}
\citation{charollois_darmon}
\citation{darmon_dasgupta}
\citation{darmon_logan}
\citation{charollois_darmon}
\newlabel{rmk:ddhida}{{4.4}{28}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {4.4.2}The rationality of Stark-Heegner points over genus fields}{28}}
\citation{bertolini_darmon_genus}
\citation{darmon_dasgupta}
\citation{bertolini_darmon_cerednik}
\citation{bertolini_darmon_hida}
\citation{bertolini_darmon_genus}
\citation{gkz}
\citation{darmon_tornaria}
\bibcite{boutot_carayol}{BC}
\bibcite{bcdt}{BCDT}
\bibcite{bumpetal}{BCdeSGKK}
\bibcite{bd_crelle}{BD1}
\bibcite{bertolini_darmon_cerednik}{BD2}
\newlabel{thm:main}{{4.5}{29}}
\newlabel{eqn:mainid}{{26}{29}}
\bibcite{bertolini_darmon_mc}{BD3}
\bibcite{bertolini_darmon_hida}{BD4}
\bibcite{bertolini_darmon_genus}{BD5}
\bibcite{bertolini_darmon_dasgupta}{BDD}
\bibcite{bertolini_darmon_green}{BDG}
\bibcite{birch_msri}{Bi}
\bibcite{birch_rankin}{BS}
\bibcite{charollois_darmon}{CD}
\bibcite{cremona}{Cr1}
\bibcite{cremona_tables}{Cr2}
\bibcite{cremona_whitley}{CW}
\bibcite{darmon_hpxh}{Da1}
\bibcite{darmon_cbms}{Da2}
\bibcite{darmon_dasgupta}{DD}
\bibcite{darmon_green}{DG}
\bibcite{darmon_logan}{DL}
\bibcite{darmon_pollack}{DP1}
\bibcite{software}{DP2}
\bibcite{darmon_tornaria}{DT}
\bibcite{elkies_shimura}{El1}
\bibcite{elkies_heegner}{El2}
\bibcite{bianchi_book}{EGM}
\bibcite{fujiwara}{Fu}
\bibcite{gelbart}{Ge}
\bibcite{gkz}{GKZ}
\bibcite{goldfeld}{Go}
\bibcite{greenberg}{Gre}
\bibcite{gross_stark1}{Gr1}
\bibcite{gross_stark2}{Gr2}
\bibcite{gross_koly}{Gr3}
\bibcite{gross_msri}{Gr4}
\bibcite{gross_zagier}{GZ}
\bibcite{kisin}{Ki}
\bibcite{kolyvagin_logachev}{KL}
\bibcite{makdisi}{KM}
\bibcite{kolyvagin}{Ko}
\bibcite{lenstra_pell}{Le}
\bibcite{longo1}{Lo1}
\bibcite{longo2}{Lo2}
\bibcite{mazur_ihes}{Ma}
\bibcite{mennicke}{Men}
\bibcite{merel}{Mer}
\bibcite{murty_murty}{MM}
\bibcite{pollack_stevens}{PS}
\bibcite{ricotta_vidick}{RV}
\bibcite{serre_cm}{Se}
\bibcite{skinner_wiles}{SW}
\bibcite{taylor}{Ta}
\bibcite{trifkovic}{Tr}
\bibcite{yetian_zhang}{TZ}
\bibcite{zhang}{Zh1}
\bibcite{zhang_asian}{Zh2}
\bibcite{zhang_msri}{Zh3}