David Michael Harvey

• Algorithms for p-adic cohomology and p-adic heights