1: \begin{abstract}

2:   Theta functions and theta constants in low genus, especially genus~1

3:   and~2, can be evaluated at any given point in quasi-linear time in

4:   the required precision using Newton schemes based on Borchardt

5:   sequences. Our goal in this paper is to provide the necessary tools

6:   to implement these algorithms in a provably correct way. In

7:   particular, we obtain uniform and explicit convergence results in

8:   the case of theta constants in genus~1 and~2, and theta functions in

9:   genus~1: the associated Newton schemes will converge starting from

10:   approximations to~$N$ bits of precision for~$N = 60$,~$300$,

11:   and~$1600$ respectively, for all suitably reduced arguments. We also

12:   describe a uniform quasi-linear time algorithm to evaluate genus~$2$

13:   theta constants on the Siegel fundamental domain.  Our main tool is

14:   a detailed study of Borchardt means as multivariate analytic

15:   functions.

16: \end{abstract}

17: