Referent: Tristan Vaccon, p-adic precision, examples and applications
Donnerstag, 30.10.2019, 14:00 h
Ort:Raum 46-267
Abstract:
p-adic numbers can usually only be handled with finite precision, which yields the problems of determining the smallest precision needed for a computation or the loss of precision per operation.
With X. Caruso and D. Roe, we have provided a method to handle precision over p-adics that relies on differentials and first-order approximation. It provides results that are (essentially) optimal and do not depend on the choice of algorithm.
We will present various illustrations of this technique. We will also present a Sagemath implementation to compute automatically the optimal precision on a given computation.