The method of Chabauty and Coleman gives us a way of finding rational points on certain curves by looking at p-adic line integrals. We will discuss these p-adic integrals and describe how they can be computed in practice. In particular, we will discuss recent work with Ishai Dan-Cohen, Minhyong Kim, and Stefan Wewers aimed at understanding integral points… (More)
Coleman's theory of p-adic integration figures prominently in several number-theoretic applications, such as finding torsion and rational points on curves, and computing p-adic regulators in K-theory (including p-adic heights on elliptic curves). We describe an algorithm for computing Coleman integrals on hyperelliptic curves, and its implementation in Sage.
The Coleman integral is a p-adic line integral. Double Coleman integrals on elliptic curves appear in Kim's nonabelian Chabauty method, the first numerical examples of which were given by the author, Kedlaya, and Kim . This paper describes the algorithms used to produce those examples, as well as techniques to compute higher iterated integrals on… (More)
The paper  contains a few errors in the basic assumptions as well as in the formula of corollary 0.2. First of all, it should have been made clear at the outset that the regular model E for the elliptic curve E must be the minimal regular model, and X the complement of the origin in the regular minimal model. Similarly, the tangential base-point b must… (More)
In 2006, Mazur, Stein, and Tate  gave an algorithm for computing p-adic heights on elliptic curves E over Q for good, ordinary primes p ≥ 5. Their work makes essential use of Kedlaya's algorithm , where the action of Frobenius is computed on a certain basis of the first de Rham cohomology of E, with E given by a " short " Weierstrass model. Kedlaya's… (More)
Let E be an elliptic curve defined over Q. The aim of this paper is to make it possible to compute Heegner L-functions and anticyclotomic Λ-adic regulators of E, which were studied by Mazur-Rubin and Howard. We generalize results of Cohen and Watkins, which enable us to compute Heegner points of non-fundamental discriminant. We then prove a relationship… (More)
We give an overview of some p-adic algorithms for computing with el-liptic and hyperelliptic curves, starting with Kedlaya's algorithm. While the original purpose of Kedlaya's algorithm was to compute the zeta function of a hyperel-liptic curve over a finite field, it has since been used in a number of applications. In particular, we describe how to use… (More)
Let E be an elliptic curve defined over Q. The aim of this paper is to make it possible to compute Heegner L-functions and anticyclotomic Λ-adic regulators of E, which were studied by Mazur-Rubin and Howard. We generalize results of Cohen and Watkins and thereby compute Heegner points of non-fundamental discriminant. We then prove a relationship between the… (More)