Tracking p-adic precision
Résumé
We present a new method to propagate $p$-adic precision in computations, which also applies to other ultrametric fields. We illustrate it with many examples and give a toy application to the stable computation of the SOMOS 4 sequence.
Origine : Fichiers produits par l'(les) auteur(s)
Loading...