Tracking p-adic precision

Abstract : 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.
Liste complète des métadonnées

Cited literature [18 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00952952
Contributor : Xavier Caruso <>
Submitted on : Thursday, February 27, 2014 - 9:44:41 PM
Last modification on : Friday, November 16, 2018 - 1:35:39 AM
Document(s) archivé(s) le : Tuesday, May 27, 2014 - 12:42:22 PM

Files

padicprec.pdf
Files produced by the author(s)

Identifiers

Citation

Xavier Caruso, David Roe, Tristan Vaccon. Tracking p-adic precision. LMS Journal of Computation and Mathematics, London Mathematical Society, 2014, 17 (SI), pp.274-294. 〈10.1112/S1461157014000357〉. 〈hal-00952952〉

Share

Metrics

Record views

452

Files downloads

120