Tracking p-adic precision
  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. 
Xavier Caruso (IRMAR), David Roe, Tristan Vaccon (IRMAR)
math.NT cs.SC