\relax \citation{darmon_annals} \citation{darmon_green} \citation{darmon_annals} \citation{darmon_green} \citation{darmon_annals} \citation{elkies} \citation{darmon_green} \citation{darmon_green} \citation{darmon_annals} \citation{darmon_green} \citation{darmon_annals} \citation{darmon_green} \citation{darmon_green} \citation{stevens} \citation{PS1} \citation{PS2} \citation{PS1} \citation{PS2} \newlabel{eqn:msd_measure}{{1}{2}} \newlabel{eqn:Mprime}{{2}{2}} \newlabel{eqn:Mdoubleprime}{{3}{2}} \citation{PS1} \citation{PS2} \citation{darmon_green} \citation{darmon_green} \citation{darmon_green} \citation{dasgupta_thesis} \citation{darmon_dasgupta} \citation{bertolini_darmon1} \citation{bertolini_darmon2} \citation{darmon_green} \newlabel{eqn:moments}{{4}{3}} \@writefile{toc}{\contentsline {section}{\numberline {1}Computing Stark-Heegner points}{3}} \newlabel{sec:algorithm}{{1}{3}} \newlabel{eqn:leftmobius}{{5}{3}} \@writefile{toc}{\contentsline {subsection}{\numberline {1.1}Modular symbols}{4}} \newlabel{prop:manin_drinfeld}{{1.2}{5}} \newlabel{eqn:transwinfty}{{6}{5}} \newlabel{eqn:defIf}{{7}{5}} \@writefile{toc}{\contentsline {subsection}{\numberline {1.2}$p$-adic measures}{5}} \citation{darmon_dasgupta} \citation{darmon_annals} \newlabel{prop:measure_system}{{1.3}{6}} \newlabel{property:two}{{3}{6}} \newlabel{eqn:gammainv}{{8}{6}} \newlabel{eqn:defmuf}{{9}{6}} \citation{darmon_annals} \@writefile{toc}{\contentsline {subsection}{\numberline {1.3}Double integrals}{7}} \newlabel{sec:double_integrals}{{1.3}{7}} \newlabel{eqn:defdint}{{10}{7}} \newlabel{eqn:riemannsum}{{11}{7}} \newlabel{eqn:add1}{{12}{7}} \newlabel{eqn:add2}{{13}{7}} \newlabel{eqn:Gammainv}{{14}{7}} \newlabel{eqn:defdmint}{{15}{7}} \citation{manin} \newlabel{eqn:dmintmodp}{{18}{8}} \newlabel{eqn:dintpM}{{19}{8}} \citation{darmon_green} \citation{darmon_green} \newlabel{eqn:dint0infty}{{21}{9}} \citation{darmon_annals} \citation{mtt} \citation{greenberg_stevens} \newlabel{eqn:Jinftytau}{{22}{10}} \@writefile{toc}{\contentsline {subsection}{\numberline {1.4}Indefinite integrals}{10}} \citation{mtt} \citation{deshalit} \citation{darmon_green} \newlabel{conj:indefint}{{1.6}{11}} \newlabel{eqn:indefint}{{24}{11}} \newlabel{prop:modsymb}{{1}{11}} \newlabel{prop:addindef}{{2}{11}} \newlabel{prop:Gammainv}{{3}{11}} \@writefile{toc}{\contentsline {subsection}{\numberline {1.5}Definition of $P_\tau$}{11}} \newlabel{eqn:themap}{{25}{12}} \citation{darmon_annals} \newlabel{conj:main}{{1.9}{13}} \newlabel{eqn:complexconj}{{26}{13}} \@writefile{toc}{\contentsline {subsection}{\numberline {1.6}Recognizing $p$-adic numbers as rational numbers}{13}} \newlabel{eqn:PD}{{27}{13}} \citation{cohen} \citation{rubin} \citation{knuth} \citation{cohen} \newlabel{eqn:hD}{{28}{14}} \citation{PS2} \citation{PS2} \citation{PS2} \citation{PS2} \citation{PS1} \citation{PS2} \@writefile{toc}{\contentsline {section}{\numberline {2}Computing the moments of Mazur's measure}{15}} \newlabel{sec:moments}{{2}{15}} \newlabel{eqn:moment_data}{{29}{15}} \@writefile{toc}{\contentsline {subsection}{\numberline {2.1}Overconvergent modular symbols}{15}} \citation{stevens} \newlabel{thm:compare}{{2.2}{16}} \newlabel{cor:lift}{{2.3}{16}} \newlabel{eqn:momentona}{{32}{17}} \citation{PS2} \@writefile{toc}{\contentsline {subsection}{\numberline {2.2}Iterating $U_p$}{18}} \newlabel{prop:cong}{{2.6}{18}} \@writefile{toc}{\contentsline {subsection}{\numberline {2.3}Lifting modular symbols}{18}} \citation{stevens} \citation{PS2} \citation{PS2} \newlabel{thm:modsym}{{2.7}{19}} \newlabel{eqn:difference_equation}{{33}{19}} \citation{PS2} \citation{PS2} \newlabel{prop:diffeqn}{{2.10}{20}} \citation{PS1} \newlabel{rmk:dag}{{2.12}{21}} \@writefile{toc}{\contentsline {subsection}{\numberline {2.4}Finite approximation modules}{21}} \citation{PS2} \newlabel{prop:finitelift}{{2.13}{22}} \@writefile{toc}{\contentsline {subsection}{\numberline {2.5}Computing the moments}{22}} \newlabel{sec:computingthemoments}{{2.5}{22}} \@writefile{toc}{\contentsline {subsection}{\numberline {2.6}Complexity analysis}{22}} \newlabel{sec:complexity}{{2.6}{22}} \newlabel{prop:complexity_moment}{{2.14}{22}} \citation{PS2} \citation{PS2} \@writefile{toc}{\contentsline {section}{\numberline {3}The {\tt shp} package}{24}} \newlabel{sec:shppackage}{{3}{24}} \citation{darmon_green} \citation{darmon_green} \citation{darmon_green} \@writefile{toc}{\contentsline {section}{\numberline {4}Numerical examples}{25}} \newlabel{sec:examples}{{4}{25}} \citation{darmon_annals} \citation{darmon_green} \citation{darmon_dasgupta} \citation{dasgupta_thesis} \citation{dasgupta_thesis} \bibcite{bertolini_darmon1}{BD1} \bibcite{bertolini_darmon2}{BD2} \bibcite{cohen}{Co} \bibcite{darmon_annals}{Dar1} \bibcite{cbms}{Dar2} \bibcite{dasgupta_thesis}{Das} \bibcite{darmon_dasgupta}{DD} \bibcite{darmon_green}{DG} \bibcite{deshalit}{Ds} \bibcite{elkies}{El} \bibcite{greenberg_stevens}{GS} \bibcite{knuth}{Kn} \bibcite{manin}{Man} \bibcite{mtt}{MTT} \bibcite{PS1}{PS1} \bibcite{PS2}{PS2} \bibcite{rubin}{Ru} \bibcite{stevens}{St}